Martin Vechev
Scholar

Martin Vechev

Google Scholar ID: aZ1Rh50AAAAJ
Full Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT, Sofia University
Programming LanguagesMachine LearningSecurity
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
15,312
 
H-index
55
 
i10-index
166
 
Publications
20
 
Co-authors
62
list available
Contact
No contact links provided.
Publications
31 items
Honeyval: A Comprehensive Evaluation Framework for LLM-powered HTTP Honeypots
2026
Cited
0
Widening the Gap: Exploiting LLM Quantization via Outlier Injection
2026
Cited
0
Every Bit, Everywhere, All at Once: A Binomial Multibit LLM Watermark
2026
Cited
0
Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness
2026
Cited
0
Coding Agents Don't Know When to Act
2026
Cited
0
Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs
2026
Cited
0
SecPI: Secure Code Generation with Reasoning Models via Security Reasoning Internalization
2026
Cited
0
CodeTaste: Can LLMs Generate Human-Level Code Refactorings?
2026
Cited
0
Resume (English only)
Co-authors
62 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Veselin Raychev
Veselin Raychev
ETH Zurich
Gagandeep Singh
Gagandeep Singh
Assistant Professor, Department of Computer Science, UIUC
Co-author 6
Co-author 6
Markus Püschel
Markus Püschel
Professor of Computer Science, ETH Zurich, Switzerland
Dana Drachsler-Cohen
Dana Drachsler-Cohen
Technion