Martin Vechev

3 papers ETH Zurich and INSAIT, Sofia University

• MathArena: Evaluating LLMs on Uncontaminated Math Competitions
• MixAT: Combining Continuous and Discrete Adversarial Training for LLMs
• Watermarking Autoregressive Image Generation