Jasper Dekoninck

According to our database, Jasper Dekoninck authored at least 12 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Constrained Decoding of Diffusion LLMs with Context-Free Grammars.

Niels Mündler, Jasper Dekoninck, Martin T. Vechev

CoRR, August, 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, Kalina Nikolova, Nikolay Georgiev, Vanesa Kalinkova, Margulan Ismoldayev

CoRR, June, 2025

MathArena: Evaluating LLMs on Uncontaminated Math Competitions.

Mislav Balunovic, Jasper Dekoninck, Ivo Petrov, Nikola Jovanovic, Martin T. Vechev

CoRR, May, 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, Martin T. Vechev

CoRR, March, 2025

MathConstruct: Challenging LLM Reasoning with Constructive Proofs.

Mislav Balunovic, Jasper Dekoninck, Nikola Jovanovic, Ivo Petrov, Martin T. Vechev

CoRR, February, 2025

Polyrating: A Cost-Effective and Bias-Aware Rating System for LLM Evaluation.

Jasper Dekoninck, Maximilian Baader, Martin T. Vechev

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024

Synthetiq: Fast and Versatile Quantum Circuit Synthesis.

Anouk Paradis, Jasper Dekoninck, Benjamin Bichsel, Martin T. Vechev

Dataset, March, 2024

Synthetiq: Fast and Versatile Quantum Circuit Synthesis.

Anouk Paradis, Jasper Dekoninck, Benjamin Bichsel, Martin T. Vechev

Proc. ACM Program. Lang., 2024

A Unified Approach to Routing and Cascading for LLMs.

Jasper Dekoninck, Maximilian Baader, Martin T. Vechev

CoRR, 2024

Evading Data Contamination Detection for Language Models is (too) Easy.

Jasper Dekoninck, Mark Niklas Müller, Maximilian Baader, Marc Fischer, Martin T. Vechev

CoRR, 2024

ConStat: Performance-Based Contamination Detection in Large Language Models.

Jasper Dekoninck, Mark Niklas Müller, Martin T. Vechev

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Controlled Text Generation via Language Model Arithmetic.

Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin T. Vechev

Proceedings of the Twelfth International Conference on Learning Representations, 2024