Martin Vechev
79 papers
· 2016–2025
· 9 conferences
· across top CS/AI conferences
Achievements
π
Academic Marathon
(9)
π
Renaissance Researcher
(11)
π
Conference Polyglot
(9)
π
Cross-Pollinator
(6)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(15)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Conference Loyalist
(20)
π€
Dynamic Duo
(18)
π
Triple Crown
π
Grand Slam
π§¬
Topic Evolution
π
Keyword Champion
(3)
β‘
Prolific Year
(19)
β
The Questioner
π
Trend Setter
ποΈ
Keyword Collector
(194)
π
Century Club
(79)
π₯
Unstoppable
(10)
Conferences
ICML (26)
ICLR (24)
NIPS (20)
NSDI (4)
AAAI (1)
COLT (1)
ECCV (1)
EMNLP (1)
ICCV (1)
Top co-authors
Research topics
Keywords
adversarial robustness
(6)
federated learning
(5)
adversarial attack
(5)
formal verification
(5)
large language model
(4)
robustness certification
(3)
code generation
(3)
randomized smoothing
(3)
privacy attack
(3)
computer vision
(3)
neural network
(3)
certified robustness
(2)
adversarial perturbation
(2)
adversarial defense
(2)
language model
(2)
neural network verification
(2)
benchmark evaluation
(2)
convex relaxation
(2)
transfer learning
(2)
program synthesis
(2)
Papers
Language Models are Advanced Anonymizers
ICLR 2025
Exploiting LLM Quantization
NIPS 2024
Fair Normalizing Flows
ICLR 2022
Provably Robust Adversarial Examples
ICLR 2022
Bayesian Framework for Gradient Leakage
ICLR 2022
Adversarial Robustness for Code
ICML 2020
Learning to Solve SMT Formulas
NIPS 2018
Learning Disjunctions of Predicates
COLT 2017
PHOG: Probabilistic Model for Code
ICML 2016