Dekoninck, Jasper

10 publications

ICLR 2026 Constrained Decoding of Diffusion LLMs with Context-Free Grammars Niels Mündler, Jasper Dekoninck, Martin Vechev

ICLR 2026 The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs Jasper Dekoninck, Ivo Petrov, Kristian Minchev, Miroslav Marinov, Maria Drencheva, Lyuba Konova, Milen Milenov Shumanov, Kaloyan Tsvetkov, Nikolay Drenchev, Lazar D. Todorov, Kalina Nikolova, Nikolay Georgiev, Vanesa Kalinkova, Margulan Ismoldayev, Mislav Balunovic, Martin Vechev

ICML 2025 A Unified Approach to Routing and Cascading for LLMs Jasper Dekoninck, Maximilian Baader, Martin Vechev

ICLRW 2025 A Unified Approach to Routing and Cascading for LLMs Jasper Dekoninck, Maximilian Baader, Martin Vechev

NeurIPS 2025 MathArena: Evaluating LLMs on Uncontaminated Math Competitions Mislav Balunovic, Jasper Dekoninck, Ivo Petrov, Nikola Jovanović, Martin Vechev

ICML 2025 MathConstruct: Challenging LLM Reasoning with Constructive Proofs Mislav Balunovic, Jasper Dekoninck, Nikola Jovanović, Ivo Petrov, Martin Vechev

ICLRW 2025 MathConstruct: Challenging LLM Reasoning with Constructive Proofs Jasper Dekoninck, Mislav Balunovic, Nikola Jovanović, Ivo Petrov, Martin Vechev

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

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

ICLR 2024 Controlled Text Generation via Language Model Arithmetic Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin Vechev