Martin Vechev

Computer Science · Physical Sciences

54h-index11.2kcitations344works1.12yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Adversarial Robustness in Machine Learning(71), Parallel Computing and Optimization Techniques(61), Distributed systems and fault tolerance(46), Software Engineering Research(41), Software Testing and Debugging Techniques(41)

Publications344 total

Evaluating AGENTS.md: Are Repository-Level Context Files Helpful for Coding Agents?
ArXiv.org·2026Open Access
Evaluating AGENTS.md: Are Repository-Level Context Files Helpful for Coding Agents?
arXiv (Cornell University)·2026Open Access
A Unified Framework for LLM Watermarks
arXiv (Cornell University)·2026Open Access
A Unified Framework for LLM Watermarks
ArXiv.org·2026Open Access
Learning Compact Boolean Networks
arXiv (Cornell University)·2026Open Access
Learning Compact Boolean Networks
ArXiv.org·2026Open Access
AutoBaxBuilder: Bootstrapping Code Security Benchmarking
ArXiv.org·2025Open Access
AutoBaxBuilder: Bootstrapping Code Security Benchmarking
arXiv (Cornell University)·2025Open Access
Dual Randomized Smoothing: Beyond Global Noise Variance
arXiv (Cornell University)·2025Open Access
Pay Attention to the Triggers: Constructing Backdoors That Survive Distillation
arXiv (Cornell University)·2025Open Access
Adaptive Generation of Bias-Eliciting Questions for LLMs
arXiv (Cornell University)·2025Open Access
Fewer Weights, More Problems: A Practical Attack on LLM Pruning
arXiv (Cornell University)·2025Open Access
qblaze: An Efficient and Scalable Sparse Quantum Simulator
Proceedings of the ACM on Programming Languages·2025Open Access
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arXiv (Cornell University)·2025Open Access
qblaze: An Efficient and Scalable Sparse Quantum Simulator
Repository for Publications and Research Data (ETH Zurich)·2025Open Access
Watermarking Diffusion Language Models
arXiv (Cornell University)·2025Open Access
The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
arXiv (Cornell University)·2025Open Access
Type-Constrained Code Generation with Language Models
Proceedings of the ACM on Programming Languages·2025· 3 citedOpen Access
MathArena: Evaluating LLMs on Uncontaminated Math Competitions
arXiv (Cornell University)·2025Open Access
Mind the Gap: A Practical Attack on GGUF Quantization
arXiv (Cornell University)·2025Open Access
page 1 of 18Next →

Frequent Co-authors

Veselin Raychev(13), Eran Yahav(13), Petar Tsankov(9), Timon Gehr(9), Gagandeep Singh(7), Markus Püschel(6), Pavol Bielik(5), Dana Drachsler-Cohen(4), Mislav Balunović(4), Benjamin Bichsel(4), Matthew Mirman(3), Andreas Krause(3), Jingxuan He(3), Greta Yorsh(3), Maged M. Michael(3), Andrei Dan(2), Arthur Gervais(2), Maximilian Baader(2), Manu Sridharan(2), Ohad Shacham(2)