Controlled Text Generation via Language Model Arithmetic. - Jasper Dekoninck; Marc Fischer 002; Luca Beurer-Kellner; Martin T. Vechev (ICLR, 2024)

ConStat: Performance-Based Contamination Detection in Large Language Models. - Jasper Dekoninck; Mark Niklas Müller; Martin T. Vechev (NeurIPS, 2024)

Evading Data Contamination Detection for Language Models is (too) Easy. - Jasper Dekoninck; Mark Niklas Müller; Maximilian Baader; Marc Fischer 002; Martin T. Vechev (CoRR, 2024)

A Unified Approach to Routing and Cascading for LLMs. - Jasper Dekoninck; Maximilian Baader; Martin T. Vechev (CoRR, 2024)

Synthetiq: Fast and Versatile Quantum Circuit Synthesis. - Anouk Paradis; Jasper Dekoninck; Benjamin Bichsel; Martin T. Vechev (Proc. ACM Program. Lang., 2024)

Synthetiq: Fast and Versatile Quantum Circuit Synthesis. - Anouk Paradis; Jasper Dekoninck; Benjamin Bichsel; Martin T. Vechev (Zenodo, 2024)

Polyrating: A Cost-Effective and Bias-Aware Rating System for LLM Evaluation. - Jasper Dekoninck; Maximilian Baader; Martin T. Vechev (ICLR, 2025)

MathConstruct: Challenging LLM Reasoning with Constructive Proofs. - Mislav Balunovic; Jasper Dekoninck; Nikola Jovanovic 001; Ivo Petrov; Martin T. Vechev (CoRR, 2025)

Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad. - Ivo Petrov; Jasper Dekoninck; Lyuben Baltadzhiev; Maria Drencheva; Kristian Minchev; Mislav Balunovic; Nikola Jovanovic 001; Martin T. Vechev (CoRR, 2025)

MathArena: Evaluating LLMs on Uncontaminated Math Competitions. - Mislav Balunovic; Jasper Dekoninck; Ivo Petrov; Nikola Jovanovic 001; Martin T. Vechev (CoRR, 2025)

The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs. - Jasper Dekoninck; Ivo Petrov; Kristian Minchev; Mislav Balunovic; Martin T. Vechev; Miroslav Marinov; Maria Drencheva; Lyuba Konova; Milen Shumanov; Kaloyan Tsvetkov; Nikolay Drenchev; Lazar Todorov; et al. (CoRR, 2025)

Constrained Decoding of Diffusion LLMs with Context-Free Grammars. - Niels Mündler; Jasper Dekoninck; Martin T. Vechev (CoRR, 2025)