Jasper Dekoninck

According to our database, Jasper Dekoninck authored at least 19 papers between 2024 and 2026.

Collaborative distances:

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

2026

Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness.

Ivo Petrov, Jasper Dekoninck, Dimitar I. Dimitrov, Martin T. Vechev

CoRR, May, 2026

Delay, Plateau, or Collapse: Evaluating the Impact of Systematic Verification Error on RLVR.

Kazuki Egashira, Mark Vero, Jasper Dekoninck, Florian E. Dorner, Robin Staab, Martin T. Vechev

CoRR, May, 2026

Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs.

Jasper Dekoninck, Nikola Jovanovic, Tim Gehrunger, Kári Rögnvaldsson, Ivo Petrov, Chenhao Sun, Martin T. Vechev

CoRR, May, 2026

QED-Nano: Teaching a Tiny Model to Prove Hard Theorems.

LM-Provers, Yuxiao Qu, Amrith Setlur, Jasper Dekoninck, Edward Beeching, Jia Li, Ian Wu, Lewis Tunstall, Aviral Kumar

CoRR, April, 2026

2025

Adaptive Generation of Bias-Eliciting Questions for LLMs.

Robin Staab, Jasper Dekoninck, Maximilian Baader, Martin T. Vechev

CoRR, October, 2025

BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs.

Ivo Petrov, Jasper Dekoninck, Martin T. Vechev

CoRR, October, 2025

IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation.

Johannes Schmitt, Gergely Bérczi, Jasper Dekoninck, Jeremy Feusi, Tim Gehrunger, Raphael Appenzeller, Jim Bryan, Niklas Canova, Timo de Wolff, Filippo Gaia, Michel van Garrel, Baran Hashemi, David Holmes, Aitor Iribar Lopez, Victor Jaeck, Martina Jørgensen, Steven Kelk, Stefan Kuhlmann, Adam Kurpisz, Chiara Meroni, Ingmar Metzler, Martin Möller, Samuel Muñoz-Echániz, Robert Nowak, Georg Oberdieck, Daniel Platt, Dylan Possamaï, Gabriel Ribeiro, Raul Sanchez Galan, Zheming Sun, Josef Teichmann, Richard P. Thomas, Charles Vial

CoRR, September, 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

A Unified Approach to Routing and Cascading for LLMs.

Jasper Dekoninck, Maximilian Baader, Martin T. Vechev

Proceedings of the Forty-second International Conference on Machine Learning, 2025

MathConstruct: Challenging LLM Reasoning with Constructive Proofs.

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

Proceedings of the Forty-second International Conference on Machine Learning, 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

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 37: 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