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
Publications
39 items
AutoMark: Enabling Autoresearch to Discover Better LLM Watermarks
2026
Cited
0
Leveraging Instruction Tuning and Merging for Reasoning Model Adaptation
2026
Cited
0
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
Co-authors
7 total
Veselin Raychev
Veselin Raychev
ETH Zurich
Gagandeep Singh
Gagandeep Singh
Assistant Professor, Department of Computer Science, UIUC
Markus Püschel
Markus Püschel
Professor of Computer Science, ETH Zurich, Switzerland
Dana Drachsler-Cohen
Dana Drachsler-Cohen
Technion
Manu Sridharan
Manu Sridharan
Professor, Computer Science and Engineering, University of California, Riverside
Vivek Sarkar
Vivek Sarkar
School of Computer Science, Georgia Institute of Technology
Andreas Krause
Andreas Krause
Professor of Computer Science, ETH Zurich