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
36 items
Generative Compilation: On-the-Fly Compiler Feedback as AI Generates Code
2026
Cited
0
SABER-Math: Automated Benchmark for Information Retrieval Evaluation in Mathematics
2026
Cited
0
TIGER: Inverting Transformer Gradients via Embedding-Subspace Distance Optimization
2026
Cited
0
Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean
2026
Cited
0
Learning from Saturated Data: Signals Beyond Correctness for LLM Training
2026
Cited
0
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
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