Scholar
Veselin Raychev
Google Scholar ID: 8JzPv9UAAAAJ
ETH Zurich
Program Analysis
Program Synthesis
Algorithms
Machine Learning
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
2,597
H-index
22
i10-index
27
Publications
20
Co-authors
16
list available
Publications
4 items
Coding Agents Don't Know When to Act
2026
Cited
0
CodeTaste: Can LLMs Generate Human-Level Code Refactorings?
2026
Cited
0
Evaluating AGENTS.md: Are Repository-Level Context Files Helpful for Coding Agents?
2026
Cited
0
BaxBench: Can LLMs Generate Correct and Secure Backends?
2025
Cited
0
Co-authors
6 total
Martin Vechev
Full Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT, Sofia University
Hannah Bast
Professor of Computer Science, University of Freiburg
Andreas Krause
Professor of Computer Science, ETH Zurich
Manu Sridharan
Professor, Computer Science and Engineering, University of California, Riverside
Todd Mytkowicz
Microsoft Research
Preslav Nakov
Mohamed bin Zayed University of Artificial Intelligence (MBZUAI)
