Jasper Dekoninck

The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs

Constrained Decoding of Diffusion LLMs with Context-Free Grammars

BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs

Adaptive Generation of Bias-Eliciting Questions for LLMs

IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation

MathConstruct: Challenging LLM Reasoning with Constructive Proofs

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

A Unified Approach to Routing and Cascading for LLMs

A Unified Approach to Routing and Cascading for LLMs

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