Veselin Raychev
Scholar

Veselin Raychev

Google Scholar ID: 8JzPv9UAAAAJ
ETH Zurich
Program AnalysisProgram SynthesisAlgorithmsMachine Learning
Google Scholar↗
Citations & Impact
All-time
Citations
2,597
 
H-index
22
 
i10-index
27
 
Publications
20
 
Co-authors
16
list available
Contact
No contact links provided.
Publications
3 items
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
Resume (English only)
Co-authors
16 total
Martin Vechev
Martin Vechev
Full Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT, Sofia University
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Hannah Bast
Hannah Bast
Professor of Computer Science, University of Freiburg
Co-author 5
Co-author 5
Andreas Krause
Andreas Krause
Professor of Computer Science, ETH Zurich
Co-author 7
Co-author 7
Co-author 8
Co-author 8