Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language Models
On the map: LLM reasoning → Mathematical reasoning
Abstract (arXiv)
Recent advancements in large language models (LLMs) have led to significant breakthroughs in mathematical reasoning capabilities. However, existing benchmarks like GSM8K or MATH are now being solved with high accuracy (e.g., OpenAI o1 achieves 94.8% on MATH dataset), indicating their inadequacy for truly challenging these models. To bridge this gap, we propose a comprehensive and challenging benchmark specifically designed to assess LLMs' mathematical reasoning at the Olympiad level. Unlike existing Olympiad-related benchmarks, our dataset focuses exclusively on mathematics and comprises a vast collection of 4428 competition-level problems with rigorous human annotation. These problems are meticulously categorized into over 33 sub-domains and span more than 10 distinct difficulty levels, enabling a holistic assessment of model performance in Olympiad-mathematical reasoning. Furthermore, we conducted an in-depth analysis based on this benchmark. Our experimental results show that even the most advanced models, OpenAI o1-mini and OpenAI o1-preview, struggle with highly challenging Olympiad-level problems, with 60.54% and 52.55% accuracy, highlighting significant challenges in Olympiad-level mathematical reasoning.
Key facts. Cited by 277 papers in the map (data through 7 Oct 2026). Placed in Mathematical reasoning, one of 17 directions in LLM reasoning. Builds on 14 of its 24 references that are in the map. First posted on arXiv 10 Oct 2024.
Builds on
14 of 24 references.
Closest ancestors · 4
Same direction, newest first
- 2024DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models5 Feb
- 2024CHAMP: A Competition-level Dataset for Fine-Grained Analyses of LLMs' Mathematical Reasoning Capabilities13 Jan
- 2023Have LLMs Advanced Enough? A Challenging Problem Solving Benchmark For Large Language Models24 May
- 2022Solving Quantitative Reasoning Problems with Language Models29 Jun
Other references · 10
- 2021Training Verifiers to Solve Math Word Problemscited by 9,743
- 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,203
- 2024Chatbot Arena: An Open Platform for Evaluating LLMs by Human Preferencecited by 1,151
- 2024OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problemscited by 1,099
- 2024Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvementcited by 1,057
- 2024MathVerse: Does Your Multi-modal LLM Truly See the Diagrams in Visual Math Problems?cited by 573
- 2021MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicscited by 380
- 2024Benchmarking Benchmark Leakage in Large Language Modelscited by 102
- 2024MathOdyssey: Benchmarking Mathematical Problem-Solving Skills in Large Language Models Using Odyssey Math Datacited by 51
- 2024Can Large Language Models Always Solve Easy Problems if They Can Solve Harder Ones?cited by 9
Built on by
Citing papers per year: 2024: 4; 2025: 151; 2026: 122.
277 papers.
Sort:
By area:
- 2025Humanity's Last Examcited by 467
- 2025The Entropy Mechanism of Reinforcement Learning for Reasoning Language Modelscited by 463
- 2025Reinforcement Learning for Reasoning in Large Language Models with One Training Examplecited by 288
- 2024ProcessBench: Identifying Process Errors in Mathematical Reasoningcited by 277
- 2025MathArena: Evaluating LLMs on Uncontaminated Math Competitionscited by 275
- 2024FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AIcited by 227
- 2025Light-R1: Curriculum SFT, DPO and RL for Long COT from Scratch and Beyondcited by 175
- 2025LLaDA2.0: Scaling Up Diffusion Language Models to 100Bcited by 154
- 2025GPG: A Simple and Strong Reinforcement Learning Baseline for Model Reasoningcited by 147
- 2025Phi-4-reasoning Technical Reportcited by 146
- 2025Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correctioncited by 140
- 2025Optimizing Test-Time Compute via Meta Reinforcement Fine-Tuningcited by 121
38 more
- 2025Towards Thinking-Optimal Scaling of Test-Time Compute for LLM Reasoningcited by 118
- 2025Process Reward Models That Thinkcited by 118
- 2025CodeElo: Benchmarking Competition-level Code Generation of LLMs with Human-comparable Elo Ratingscited by 109
- 2025Towards System 2 Reasoning in LLMs: Learning How to Think With Meta Chain-of-Thoughtcited by 108
- 2025AceReason-Nemotron: Advancing Math and Code Reasoning through Reinforcement Learningcited by 85
- 2025An Empirical Study on Eliciting and Improving R1-like Reasoning Modelscited by 78
- 2025T1: Advancing Language Model Reasoning through Reinforcement Learning and Inference Scalingcited by 77
- 2025Sample More to Think Less: Group Filtered Policy Optimization for Concise Reasoningcited by 75
- 2025ShorterBetter: Guiding Reasoning Models to Find Optimal Inference Length for Efficient Reasoningcited by 70
- 2025OctoTools: An Agentic Framework with Extensible Tools for Complex Reasoningcited by 69
- 2025Towards Robust Mathematical Reasoningcited by 67
- 2025e3: Learning to Explore Enables Extrapolation of Test-Time Compute for LLMscited by 56
- 2025PolyMath: Evaluating Mathematical Reasoning in Multilingual Contextscited by 52
- 2025Improving Data Efficiency for LLM Reinforcement Fine-tuning Through Difficulty-targeted Online Data Selection and Rollout Replaycited by 52
- 2025Just Enough Thinking: Efficient Reasoning with Adaptive Length Penalties Reinforcement Learningcited by 51
- 2025Every Step Evolves: Scaling Reinforcement Learning for Trillion-Scale Thinking Modelcited by 50
- 2025Wider or Deeper? Scaling LLM Inference-Time Compute with Adaptive Branching Tree Searchcited by 48
- 2025OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalizationcited by 48
- 2025Scaf-GRPO: Scaffolded Group Relative Policy Optimization for Enhancing LLM Reasoningcited by 48
- 2026LLaDA2.1: Speeding Up Text Diffusion via Token Editingcited by 48
- 2025UGPhysics: A Comprehensive Benchmark for Undergraduate Physics Reasoning with Large Language Modelscited by 45
- 2025FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Modelscited by 45
- 2025Nemotron-Cascade: Scaling Cascaded Reinforcement Learning for General-Purpose Reasoning Modelscited by 45
- 2025Inference-Time Scaling for Complex Tasks: Where We Stand and What Lies Aheadcited by 43
- 2025Understand, Solve and Translate: Bridging the Multilingual Mathematical Reasoning Gapcited by 41
- 2025SPC: Evolving Self-Play Critic via Adversarial Games for LLM Reasoningcited by 40
- 2025Reinforcement Pre-Trainingcited by 40
- 2025The relationship between reasoning and performance in large language models--o3 (mini) thinks harder, not longercited by 39
- 2025LitBench: A Benchmark and Dataset for Reliable Evaluation of Creative Writingcited by 39
- 2026POPE: Learning to Reason on Hard Problems via Privileged On-Policy Explorationcited by 39
- 2025Understanding Tool-Integrated Reasoningcited by 38
- 2025AMO-Bench: Large Language Models Still Struggle in High School Math Competitionscited by 36
- 2025First SFT, Second RL, Third UPT: Continual Improving Multi-Modal LLM Reasoning via Unsupervised Post-Trainingcited by 34
- 2025Linguistic Generalizability of Test-Time Scaling in Mathematical Reasoningcited by 33
- 2025R-Bench: Graduate-level Multi-disciplinary Benchmarks for LLM & MLLM Complex Reasoning Evaluationcited by 32
- 2025Scalable Chain of Thoughts via Elastic Reasoningcited by 32
- 2025SeePhys: Does Seeing Help Thinking? -- Benchmarking Vision-Based Physics Reasoningcited by 32
- 2025The First Few Tokens Are All You Need: An Efficient and Effective Unsupervised Prefix Fine-Tuning Method for Reasoning Modelscited by 31
50 most cited of 277 All 277 (JSON)
- 2026Function-Structured Reinforcement Learning with Executable Verifiers for Mathematical Reasoning1 Oct 2026
- 2026How Much Can Language Models Gain from Test-Time Computation?1 Oct 2026
- 2026Semifactual Credit-Augmented Policy Optimization30 Sep 2026
- 2026MetaCtrl: Your Large Language Models Can Reason Better and More Concisely with a Metacognitive Controller29 Sep 2026
- 2026On the Token Value Inequality in Efficient Reasoning27 Sep 2026
- 2026The Model Knows Another Way: Strategy Switching for Effective RLVR Exploration27 Sep 2026
- 2026Solving Every Step Is Not Enough: Milestone Oracles Reveal a Composition Gap in LLM Math Reasoning26 Sep 2026
- 2026Pinocchio: Fast Uncertainty Estimates for Black-Box Language Models21 Sep 2026
- 2026Fork Where the Model Changes Its Mind: Belief-Shift Branching for Tree-Structured Reinforcement Learning10 Sep 2026
- 2026Scaling Large Reasoning Models beyond Human Supervision: A Path toward Superintelligence31 Aug 2026
- 2026From Atomic to Agentic: Towards Interpretable Evaluation of LLMs' Agentic Mathematical Capabilities27 Aug 2026
- 2026Prefix Sliding for efficient test-time scaling26 Aug 2026
38 more
- 2026Recursive Agentic Reasoning25 Aug 2026
- 2026Pandora's AI Model Routing Box: Efficient Allocation with Costly Value Estimation20 Aug 2026
- 2026Chain-of-Experience for Continual LLM Improvement18 Aug 2026
- 2026What Aggregate Scores Miss: Measuring Item-Level Regressions in Commercial LLM API Migrations18 Aug 2026
- 2026LLMs Can Predict Failure Risk, But Struggle to Predict Which Collaboration Protocol Pays Off: Cost-Aware Protocol Routing Across Reasoning Tasks14 Aug 2026
- 2026Privileged Solutions or Context-Induced Teacher Behavior? Dissecting On-Policy Self-Distillation10 Aug 2026
- 2026Branch2Skill: Efficient Skill Evolution Through Reasoning Trees9 Aug 2026
- 2026Thinking Hard, Not Smart: Reasoning Models Fail to Ration Test-Time Compute Across Questions8 Aug 2026
- 2026Shorter Reasoning, Earlier Answers? An Evaluation of Reasoning Interfaces4 Aug 2026
- 2026Right Answer, Wrong Method: Shortcut Hacking Misleads the Evaluation of LLM Reasoning on Frontier Science Benchmarks3 Aug 2026
- 2026CurveShift: Is Agent Progress Scalar? Separating Level from Shape31 Jul 2026
- 2026Off-Context GRPO: Learning to Reason on Hard Problems using Privileged Information21 Jul 2026
- 2026From Memory to Skills: Evidence-Grounded Co-Evolution Governance for Long-Horizon LLM Agents18 Jul 2026
- 2026Precise but Uncoupled: Reviewer Precision Does Not Guarantee Critique Uptake in Multi-Agent Math Reasoning16 Jul 2026
- 2026Consensus as Privileged Context for Label-Free Self-Distillation15 Jul 2026
- 2026AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification13 Jul 2026
- 2026OS-Pruner: Pruning Chains-of-Thought of Reasoning Models via Optimal Stopping13 Jul 2026
- 2026When RLVR Shrinks the Reasoning Boundary: Diagnosing Pass@k Inversion12 Jul 2026
- 2026Beyond Block Boundaries: Multi-Block Editing for Diffusion Large Language Models29 Jun 2026
- 2026SHAPE of Chain-of-Thought in Math Reasoning28 Jun 2026
- 2026Cognitive Episodes in LLM Reasoning Traces Enable Interpretable Human Item Difficulty Prediction26 Jun 2026
- 2026CAT-Q: Cost-efficient and Accurate Ternary Quantization for LLMs25 Jun 2026
- 2026Finding the Evidence: Discovering Decision-Supporting Tokens for On-Policy Reasoning Distillation22 Jun 2026
- 2026Deeper is Not Always Better: Mitigating the Alignment Tax via Confident Layer Decoding20 Jun 2026
- 2026Euclean: Automated Geometry Problem Formalization with Unified Verification in Lean17 Jun 2026
- 2026Ling and Ring 2.6 Technical Report: Efficient and Instant Agentic Intelligence at Trillion-Parameter Scale13 Jun 2026
- 2026Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation10 Jun 2026
- 2026KCSAT-ML: Probing Reasoning Models with Nationwide-Cohort Human Difficulty9 Jun 2026
- 2026Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery7 Jun 2026
- 2026Consistent and Distinctive: LLM Benchmark Efficiency via Maximum Independent Set Prompt Selection on Similarity Graphs31 May 2026
- 2026KACE: Knowledge-Adaptive Context Engineering for Mathematical Reasoning30 May 2026
- 2026Capability Self-Assessment in Large Language Models29 May 2026
- 2026Woodpecker Distillation: Weak Models Diagnose Reasoning Bugs in Strong Models27 May 2026
- 2026Bridging the Detection-to-Abstention Gap in Reasoning Models under Insufficient Information27 May 2026
- 2026Meta-Agent: From Task Descriptions to Verified Multi-Agent Systems24 May 2026
- 2026RMA: an Agentic System for Research-Level Mathematical Problems20 May 2026
- 2026HRM-Text: Efficient Pretraining Beyond Scaling20 May 2026
- 2026Mathematical Reasoning in Large Language Models: Benchmarks, Architectures, Evaluation, and Open Challenges19 May 2026
50 newest of 277 All 277 (JSON)
- 2025The Entropy Mechanism of Reinforcement Learning for Reasoning Language Modelscited by 463
- 2025Reinforcement Learning for Reasoning in Large Language Models with One Training Examplecited by 288
- 2024ProcessBench: Identifying Process Errors in Mathematical Reasoningcited by 277
- 2025MathArena: Evaluating LLMs on Uncontaminated Math Competitionscited by 275
- 2024FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AIcited by 227
- 2025Light-R1: Curriculum SFT, DPO and RL for Long COT from Scratch and Beyondcited by 175
- 2025GPG: A Simple and Strong Reinforcement Learning Baseline for Model Reasoningcited by 147
- 2025Phi-4-reasoning Technical Reportcited by 146
- 2025Optimizing Test-Time Compute via Meta Reinforcement Fine-Tuningcited by 121
- 2025Towards Thinking-Optimal Scaling of Test-Time Compute for LLM Reasoningcited by 118
- 2025Process Reward Models That Thinkcited by 118
- 2025CodeElo: Benchmarking Competition-level Code Generation of LLMs with Human-comparable Elo Ratingscited by 109
12 most cited of 201 All 201 (JSON)
- 2026Function-Structured Reinforcement Learning with Executable Verifiers for Mathematical Reasoning1 Oct 2026
- 2026Semifactual Credit-Augmented Policy Optimization30 Sep 2026
- 2026MetaCtrl: Your Large Language Models Can Reason Better and More Concisely with a Metacognitive Controller29 Sep 2026
- 2026On the Token Value Inequality in Efficient Reasoning27 Sep 2026
- 2026Solving Every Step Is Not Enough: Milestone Oracles Reveal a Composition Gap in LLM Math Reasoning26 Sep 2026
- 2026Scaling Large Reasoning Models beyond Human Supervision: A Path toward Superintelligence31 Aug 2026
- 2026From Atomic to Agentic: Towards Interpretable Evaluation of LLMs' Agentic Mathematical Capabilities27 Aug 2026
- 2026Prefix Sliding for efficient test-time scaling26 Aug 2026
- 2026Recursive Agentic Reasoning25 Aug 2026
- 2026LLMs Can Predict Failure Risk, But Struggle to Predict Which Collaboration Protocol Pays Off: Cost-Aware Protocol Routing Across Reasoning Tasks14 Aug 2026
- 2026Thinking Hard, Not Smart: Reasoning Models Fail to Ration Test-Time Compute Across Questions8 Aug 2026
- 2026Shorter Reasoning, Earlier Answers? An Evaluation of Reasoning Interfaces4 Aug 2026
12 newest of 201 All 201 (JSON)
- 2025Student-Centered Distillation Narrows the Agentic Gap Between Small and Large LLMscited by 11
- 2026RMA: an Agentic System for Research-Level Mathematical Problemscited by 6
- 2025RefGrader: Automated Grading of Mathematical Competition Proofs using Agentic Workflowscited by 3
- 2026From Memory to Skills: Evidence-Grounded Co-Evolution Governance for Long-Horizon LLM Agentscited by 2
- 2026CurveShift: Is Agent Progress Scalar? Separating Level from Shapecited by 2
- 2026Iterative Critique-and-Routing Controller for Multi-Agent Systems with Heterogeneous LLMscited by 0
- 2026CurveShift: Is Agent Progress Scalar? Separating Level from Shape31 Jul 2026
- 2026From Memory to Skills: Evidence-Grounded Co-Evolution Governance for Long-Horizon LLM Agents18 Jul 2026
- 2026RMA: an Agentic System for Research-Level Mathematical Problems20 May 2026
- 2026Iterative Critique-and-Routing Controller for Multi-Agent Systems with Heterogeneous LLMs9 May 2026
- 2025RefGrader: Automated Grading of Mathematical Competition Proofs using Agentic Workflows10 Oct 2025
- 2025Student-Centered Distillation Narrows the Agentic Gap Between Small and Large LLMs12 Sep 2025
- 2025LitBench: A Benchmark and Dataset for Reliable Evaluation of Creative Writingcited by 39
- 2025BOTS: A Unified Framework for Bayesian Online Task Selection in LLM Reinforcement Finetuningcited by 12
- 2025Uncertainty-Guided Checkpoint Selection for Reinforcement Finetuning of Large Language Modelscited by 2
- 2026Long-form RewardBench: Evaluating Reward Models for Long-form Generationcited by 2
- 2026Deeper is Not Always Better: Mitigating the Alignment Tax via Confident Layer Decodingcited by 2
- 2026Deeper is Not Always Better: Mitigating the Alignment Tax via Confident Layer Decoding20 Jun 2026
- 2026Long-form RewardBench: Evaluating Reward Models for Long-form Generation13 Mar 2026
- 2025Uncertainty-Guided Checkpoint Selection for Reinforcement Finetuning of Large Language Models13 Nov 2025
- 2025BOTS: A Unified Framework for Bayesian Online Task Selection in LLM Reinforcement Finetuning30 Oct 2025
- 2025LitBench: A Benchmark and Dataset for Reliable Evaluation of Creative Writing1 Jul 2025
- 2025LLaDA2.0: Scaling Up Diffusion Language Models to 100Bcited by 154
- 2026LLaDA2.1: Speeding Up Text Diffusion via Token Editingcited by 48
- 2026Remask, Don't Replace: Token-to-Mask Refinement in Diffusion Language Modelscited by 1
- 2026Beyond Block Boundaries: Multi-Block Editing for Diffusion Large Language Modelscited by 1
- 2026Beyond Block Boundaries: Multi-Block Editing for Diffusion Large Language Models29 Jun 2026
- 2026Remask, Don't Replace: Token-to-Mask Refinement in Diffusion Language Models20 Apr 2026
- 2026LLaDA2.1: Speeding Up Text Diffusion via Token Editing9 Feb 2026
- 2025LLaDA2.0: Scaling Up Diffusion Language Models to 100B10 Dec 2025
- 2025Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correctioncited by 140
- 2026MathDuels: A Self-Play Benchmark That Growscited by 1
- 2026Continually self-improving AIcited by 0
- 2026MathDuels: A Self-Play Benchmark That Grows23 Apr 2026
- 2026Continually self-improving AI18 Mar 2026
- 2025Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction5 Aug 2025
- 2025Unnatural Languages Are Not Bugs but Features for LLMscited by 4
- 2025Unnatural Languages Are Not Bugs but Features for LLMs2 Mar 2025
- 2025Humanity's Last Examcited by 467
- 2025Reinforcement Pre-Trainingcited by 40
- 2025StepWiser: Stepwise Generative Judges for Wiser Reasoningcited by 28
- 2025The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofscited by 27
- 2026Look Inward to Explore Outward: Learning Temperature Policy from LLM Internal States via Hierarchical RLcited by 27
- 2025Toward Generalizable Evaluation in the LLM Era: A Survey Beyond Benchmarkscited by 26
- 2025FATE: A Formal Benchmark Series for Frontier Algebra of Multiple Difficulty Levelscited by 23
- 2025DeepCritic: Deliberate Critique with Large Language Modelscited by 17
- 2025CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalizationcited by 15
- 2025OpenDataArena: A Fair and Open Arena for Benchmarking Post-Training Dataset Valuecited by 15
- 2025IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generationcited by 11
- 2026Benchmarks Saturate When The Model Gets Smarter Than The Judgecited by 10
12 most cited of 53 All 53 (JSON)
- 2026How Much Can Language Models Gain from Test-Time Computation?1 Oct 2026
- 2026The Model Knows Another Way: Strategy Switching for Effective RLVR Exploration27 Sep 2026
- 2026Pinocchio: Fast Uncertainty Estimates for Black-Box Language Models21 Sep 2026
- 2026Fork Where the Model Changes Its Mind: Belief-Shift Branching for Tree-Structured Reinforcement Learning10 Sep 2026
- 2026Pandora's AI Model Routing Box: Efficient Allocation with Costly Value Estimation20 Aug 2026
- 2026Chain-of-Experience for Continual LLM Improvement18 Aug 2026
- 2026What Aggregate Scores Miss: Measuring Item-Level Regressions in Commercial LLM API Migrations18 Aug 2026
- 2026Privileged Solutions or Context-Induced Teacher Behavior? Dissecting On-Policy Self-Distillation10 Aug 2026
- 2026Branch2Skill: Efficient Skill Evolution Through Reasoning Trees9 Aug 2026
- 2026AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification13 Jul 2026
- 2026When RLVR Shrinks the Reasoning Boundary: Diagnosing Pass@k Inversion12 Jul 2026
- 2026CAT-Q: Cost-efficient and Accurate Ternary Quantization for LLMs25 Jun 2026
12 newest of 53 All 53 (JSON)
Similar, not cited
Close in wording, no citation either way
- 2025EEFSUVA: A New Mathematical Olympiad Benchmark
- 2025Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language Models
- 2025MathMist: A Parallel Multilingual Benchmark Dataset for Mathematical Problem Solving and Reasoning
- 2026Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs
- 2024Benchmarking Large Language Models for Math Reasoning Tasks
- 2025Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
- 2025Brains vs. Bytes: Evaluating LLM Proficiency in Olympiad Mathematics
- 2025Mathematical Computation and Reasoning Errors by Large Language Models