Dekoninck, Jasper

1. Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
   2025/03/27 by Ivo Petrov, Jasper Dekoninck, Petrov, Ivo +13 · 35 voices · 31 citations
   #cs.CL
2. MathArena: Evaluating LLMs on Uncontaminated Math Competitions
   2025/05/29 by Balunović, Mislav, Dekoninck, Jasper, Petrov, Ivo +2 · 73 citations
   #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences
3. A Unified Approach to Routing and Cascading for LLMs
   2024/10/14 by Jasper Dekoninck, Maximilian Baader, Dekoninck, Jasper +3 · 13 citations
   Computer Science · #Computation and Language (cs.CL) #Digital Rights Management and Security #FOS: Computer and information sciences
4. Evading Data Contamination Detection for Language Models is (too) Easy
   2024/02/05 by Jasper Dekoninck, Dekoninck, Jasper, Mark Niklas Müller +7 · 5 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Cryptography and Security (cs.CR) #Digital and Cyber Forensics #FOS: Computer and information sciences #Machine Learning (cs.LG) #Privacy-Preserving Technologies in Data
5. ConStat: Performance-Based Contamination Detection in Large Language Models
   2024/05/25 by Jasper Dekoninck, Dekoninck, Jasper, Mark Niklas Müller +3 · 5 citations
   Computer Science · #Topic Modeling #Natural Language Processing Techniques #Anomaly Detection Techniques and Applications
6. Controlled Text Generation via Language Model Arithmetic
   2023/11/24 by Jasper Dekoninck, M. L. Fischer, Dekoninck, Jasper +5 · 4 citations
   Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Topic Modeling
7. The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
   2025/06/23 by Jasper Dekoninck, Dekoninck, Jasper, Ivo Petrov +29 · 11 citations
   Computer Science · #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Polynomial and algebraic computation
8. BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
   2025/10/06 by Petrov, Ivo, Dekoninck, Jasper, Vechev, Martin · 3 citations
   #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)
9. MathConstruct: Challenging LLM Reasoning with Constructive Proofs
   2025/02/14 by Mislav Balunović, Balunović, Mislav, Jasper Dekoninck +7 · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques