Jasper Dekoninck

Orcid: 0009-0009-0621-170X

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness.
CoRR, May, 2026

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

Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs.
CoRR, May, 2026

QED-Nano: Teaching a Tiny Model to Prove Hard Theorems.
CoRR, April, 2026

2025
Adaptive Generation of Bias-Eliciting Questions for LLMs.
CoRR, October, 2025

BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs.
CoRR, October, 2025

IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation.
CoRR, September, 2025

Constrained Decoding of Diffusion LLMs with Context-Free Grammars.
CoRR, August, 2025

The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs.
CoRR, June, 2025

MathArena: Evaluating LLMs on Uncontaminated Math Competitions.
CoRR, May, 2025

Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad.
CoRR, March, 2025

A Unified Approach to Routing and Cascading for LLMs.
Proceedings of the Forty-second International Conference on Machine Learning, 2025

MathConstruct: Challenging LLM Reasoning with Constructive Proofs.
Proceedings of the Forty-second International Conference on Machine Learning, 2025

Polyrating: A Cost-Effective and Bias-Aware Rating System for LLM Evaluation.
Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024
Synthetiq: Fast and Versatile Quantum Circuit Synthesis.
Dataset, March, 2024

Synthetiq: Fast and Versatile Quantum Circuit Synthesis.
Proc. ACM Program. Lang., 2024

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

ConStat: Performance-Based Contamination Detection in Large Language Models.
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.
Proceedings of the Twelfth International Conference on Learning Representations, 2024


  Loading...