AMO-Bench: Large Language Models Still Struggle in High School Math Competitions
On the map: LLM reasoning → Mathematical reasoning
Abstract (arXiv)
We present AMO-Bench, an Advanced Mathematical reasoning benchmark with Olympiad level or even higher difficulty, comprising 50 human-crafted problems. Existing benchmarks have widely leveraged high school math competitions for evaluating mathematical reasoning capabilities of large language models (LLMs). However, many existing math competitions are becoming less effective for assessing top-tier LLMs due to performance saturation (e.g., AIME24/25). To address this, AMO-Bench introduces more rigorous challenges by ensuring all 50 problems are (1) cross-validated by experts to meet at least the International Mathematical Olympiad (IMO) difficulty standards, and (2) entirely original problems to prevent potential performance leakages from data memorization. Moreover, each problem in AMO-Bench requires only a final answer rather than a proof, enabling automatic and robust grading for evaluation. Experimental results across 26 LLMs on AMO-Bench show that even the best-performing model achieves only 52.4% accuracy on AMO-Bench, with most LLMs scoring below 40%. Beyond these poor performances, our further analysis reveals a promising scaling trend with increasing test-time compute on AMO-Bench. These results highlight the significant room for improving the mathematical reasoning in current LLMs. We release AMO-Bench to facilitate further research into advancing the reasoning abilities of language models. https://amo-bench.github.io/
Key facts. Cited by 38 papers in the map (data through 14 Oct 2026). Placed in Mathematical reasoning, one of 17 directions in LLM reasoning. Builds on 18 of its 26 references that are in the map. First posted on arXiv 30 Oct 2025.
Builds on
18 of 26 references.
Closest ancestors · 6
Same direction, newest first
- 2025MathArena: Evaluating LLMs on Uncontaminated Math Competitions29 May
- 2025RealMath: A Continuous Benchmark for Evaluating Language Models on Research-Level Mathematics18 May
- 2025Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad27 Mar
- 2025Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language Models27 Mar
- 2024FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI7 Nov
- 2024Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language Models10 Oct
Other references · 12
- 2021Training Verifiers to Solve Math Word Problemscited by 10,109
- 2025DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learningcited by 6,330
- 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,371
- 2025s1: Simple test-time scalingcited by 1,341
- 2024OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problemscited by 1,136
- 2023Large Language Modelscited by 780
- 2025Seed1.5-Thinking: Advancing Superb Reasoning Models with Reinforcement Learningcited by 161
- 2024Adding Error Bars to Evals: A Statistical Approach to Language Model Evaluationscited by 148
- 2024MathOdyssey: Benchmarking Mathematical Problem-Solving Skills in Large Language Models Using Odyssey Math Datacited by 52
- 2025Unlocking Exploration in RLVR: Uncertainty-aware Advantage Shaping for Deeper Reasoningcited by 34
- 2025Hunyuan-TurboS: Advancing Large Language Models through Mamba-Transformer Synergy and Adaptive Chain-of-Thoughtcited by 29
- 2025HARDMath2: A Benchmark for Applied Mathematics Built by Students as Part of a Graduate Classcited by 5
Built on by
Citing papers per year: 2025: 3; 2026: 35.
38 papers.
Sort:
By area:
- 2026Self-Distilled Reasoner: On-Policy Self-Distillation for Large Language Modelscited by 455
- 2026Self-Distillation Zero: Self-Revision Turns Binary Rewards into Dense Supervisioncited by 68
- 2026Natural-Language Agent Harnessescited by 61
- 2026Seed1.8 Model Card: Towards Generalized Real-World Agencycited by 50
- 2026LongCat-Flash-Thinking-2601 Technical Reportcited by 34
- 2026Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoningcited by 25
- 2026Trajectory-Refined Distillationcited by 16
- 2026InT: Self-Proposed Interventions Enable Credit Assignment in LLM Reasoningcited by 14
- 2026Agentic Proposing: Enhancing Large Language Model Reasoning via Compositional Skill Synthesiscited by 12
- 2025OckBench: Measuring the Efficiency of LLM Reasoningcited by 11
- 2025P1: Mastering Physics Olympiads with Reinforcement Learningcited by 8
- 2026Reinforced Efficient Reasoning via Semantically Diverse Explorationcited by 8
26 more
- 2026Neural Chain-of-Thought Search: Searching the Optimal Reasoning Path to Enhance Large Language Modelscited by 8
- 2026FoE: Forest of Errors Makes the First Solution the Best in Large Reasoning Modelscited by 8
- 2026P1-VL: Bridging Visual Perception and Scientific Reasoning in Physics Olympiadscited by 7
- 2026LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learningcited by 7
- 2026General365: Benchmarking General Reasoning in Large Language Models Across Diverse and Challenging Taskscited by 6
- 2026SimpleOPD: Simple Tokenizer-Agnostic On-Policy Distillation for Long-Context Reasoningcited by 6
- 2026From Proprietary to Open-Source: Bridging the Distribution Gap via Multi-Agent Protocol Distillation in Agentic Searchcited by 5
- 2026What If We Allocate Test-Time Compute Adaptively?cited by 4
- 2026Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMscited by 4
- 2026Beyond Relevance-Centric Retrieval: Rubric-Oriented Document Set Selection and Rankingcited by 3
- 2026DecoEvo: Score-Decoupled Co-Evolution of Solver and Rubric-Generator Skills in Text Spacecited by 2
- 2026Hint Tuning: Less Data Makes Better Reasonerscited by 1
- 2026RLVR Datasets and Where to Find Them: Tracing Data Lineage for Better Training Datacited by 1
- 2026MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysiscited by 1
- 2026Self-Retrospection Distillation: Turning Post-hoc Experiences into Prior Foresightcited by 1
- 2025Encyclo-K: Evaluating LLMs with Dynamically Composed Knowledge Statementscited by 0
- 2026VeRA: Renewing Reasoning Benchmarks with Executable Specificationscited by 0
- 2026Temperature-Dependent Performance of Prompting Strategies in Extended Reasoning Large Language Modelscited by 0
- 2026Revisiting a Pain in the Neck: A Semantic Reasoning Benchmark for Language Modelscited by 0
- 2026Trust the Batch, On- or Off-Policy: Adaptive Policy Optimization for RL Post-Trainingcited by 0
- 2026ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatoricscited by 0
- 2026AMTFV: Agentic Mathematical Tool-Flow Verification for LLM Self-Correctioncited by 0
- 2026Cross-Domain Hybrid OPD for Generalizable Search Agentscited by 0
- 2026From Atomic to Agentic: Towards Interpretable Evaluation of LLMs' Agentic Mathematical Capabilitiescited by 0
- 2026Towards Better Exploration in Sequential Test-Time Scalingcited by 0
- 2026BoundaryEvo: Data-Model Co-Evolution at the Capability Boundary for Long-Chain Reasoning Distillationcited by 0
- 2026BoundaryEvo: Data-Model Co-Evolution at the Capability Boundary for Long-Chain Reasoning Distillation9 Oct 2026
- 2026Self-Retrospection Distillation: Turning Post-hoc Experiences into Prior Foresight6 Oct 2026
- 2026Towards Better Exploration in Sequential Test-Time Scaling30 Sep 2026
- 2026From Atomic to Agentic: Towards Interpretable Evaluation of LLMs' Agentic Mathematical Capabilities27 Aug 2026
- 2026SimpleOPD: Simple Tokenizer-Agnostic On-Policy Distillation for Long-Context Reasoning14 Aug 2026
- 2026Cross-Domain Hybrid OPD for Generalizable Search Agents3 Aug 2026
- 2026AMTFV: Agentic Mathematical Tool-Flow Verification for LLM Self-Correction31 Jul 2026
- 2026DecoEvo: Score-Decoupled Co-Evolution of Solver and Rubric-Generator Skills in Text Space28 Jul 2026
- 2026From Proprietary to Open-Source: Bridging the Distribution Gap via Multi-Agent Protocol Distillation in Agentic Search27 Jul 2026
- 2026Beyond Relevance-Centric Retrieval: Rubric-Oriented Document Set Selection and Ranking22 Jul 2026
- 2026MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis11 Jun 2026
- 2026ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics9 Jun 2026
26 more
- 2026Trajectory-Refined Distillation7 Jun 2026
- 2026RLVR Datasets and Where to Find Them: Tracing Data Lineage for Better Training Data26 May 2026
- 2026Trust the Batch, On- or Off-Policy: Adaptive Policy Optimization for RL Post-Training12 May 2026
- 2026Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs9 May 2026
- 2026Hint Tuning: Less Data Makes Better Reasoners9 May 2026
- 2026Revisiting a Pain in the Neck: A Semantic Reasoning Benchmark for Language Models17 Apr 2026
- 2026Self-Distillation Zero: Self-Revision Turns Binary Rewards into Dense Supervision13 Apr 2026
- 2026General365: Benchmarking General Reasoning in Large Language Models Across Diverse and Challenging Tasks13 Apr 2026
- 2026FoE: Forest of Errors Makes the First Solution the Best in Large Reasoning Models3 Apr 2026
- 2026Natural-Language Agent Harnesses26 Mar 2026
- 2026LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning22 Mar 2026
- 2026Seed1.8 Model Card: Towards Generalized Real-World Agency21 Mar 2026
- 2026Temperature-Dependent Performance of Prompting Strategies in Extended Reasoning Large Language Models18 Mar 2026
- 2026P1-VL: Bridging Visual Perception and Scientific Reasoning in Physics Olympiads10 Feb 2026
- 2026Agentic Proposing: Enhancing Large Language Model Reasoning via Compositional Skill Synthesis3 Feb 2026
- 2026What If We Allocate Test-Time Compute Adaptively?1 Feb 2026
- 2026Self-Distilled Reasoner: On-Policy Self-Distillation for Large Language Models26 Jan 2026
- 2026VeRA: Renewing Reasoning Benchmarks with Executable Specifications23 Jan 2026
- 2026LongCat-Flash-Thinking-2601 Technical Report23 Jan 2026
- 2026InT: Self-Proposed Interventions Enable Credit Assignment in LLM Reasoning20 Jan 2026
- 2026Neural Chain-of-Thought Search: Searching the Optimal Reasoning Path to Enhance Large Language Models16 Jan 2026
- 2026Reinforced Efficient Reasoning via Semantically Diverse Exploration8 Jan 2026
- 2026Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning6 Jan 2026
- 2025Encyclo-K: Evaluating LLMs with Dynamically Composed Knowledge Statements31 Dec 2025
- 2025P1: Mastering Physics Olympiads with Reinforcement Learning17 Nov 2025
- 2025OckBench: Measuring the Efficiency of LLM Reasoning7 Nov 2025
- 2026Self-Distilled Reasoner: On-Policy Self-Distillation for Large Language Modelscited by 455
- 2026LongCat-Flash-Thinking-2601 Technical Reportcited by 34
- 2026Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoningcited by 25
- 2026InT: Self-Proposed Interventions Enable Credit Assignment in LLM Reasoningcited by 14
- 2026Agentic Proposing: Enhancing Large Language Model Reasoning via Compositional Skill Synthesiscited by 12
- 2025OckBench: Measuring the Efficiency of LLM Reasoningcited by 11
- 2026Reinforced Efficient Reasoning via Semantically Diverse Explorationcited by 8
- 2026Neural Chain-of-Thought Search: Searching the Optimal Reasoning Path to Enhance Large Language Modelscited by 8
- 2026FoE: Forest of Errors Makes the First Solution the Best in Large Reasoning Modelscited by 8
- 2026P1-VL: Bridging Visual Perception and Scientific Reasoning in Physics Olympiadscited by 7
- 2026General365: Benchmarking General Reasoning in Large Language Models Across Diverse and Challenging Taskscited by 6
- 2026SimpleOPD: Simple Tokenizer-Agnostic On-Policy Distillation for Long-Context Reasoningcited by 6
12 most cited of 21 All 21 (JSON)
- 2026BoundaryEvo: Data-Model Co-Evolution at the Capability Boundary for Long-Chain Reasoning Distillation9 Oct 2026
- 2026Towards Better Exploration in Sequential Test-Time Scaling30 Sep 2026
- 2026From Atomic to Agentic: Towards Interpretable Evaluation of LLMs' Agentic Mathematical Capabilities27 Aug 2026
- 2026SimpleOPD: Simple Tokenizer-Agnostic On-Policy Distillation for Long-Context Reasoning14 Aug 2026
- 2026ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics9 Jun 2026
- 2026Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs9 May 2026
- 2026Hint Tuning: Less Data Makes Better Reasoners9 May 2026
- 2026Revisiting a Pain in the Neck: A Semantic Reasoning Benchmark for Language Models17 Apr 2026
- 2026General365: Benchmarking General Reasoning in Large Language Models Across Diverse and Challenging Tasks13 Apr 2026
- 2026FoE: Forest of Errors Makes the First Solution the Best in Large Reasoning Models3 Apr 2026
- 2026Temperature-Dependent Performance of Prompting Strategies in Extended Reasoning Large Language Models18 Mar 2026
- 2026P1-VL: Bridging Visual Perception and Scientific Reasoning in Physics Olympiads10 Feb 2026
12 newest of 21 All 21 (JSON)
- 2026LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learningcited by 7
- 2026From Proprietary to Open-Source: Bridging the Distribution Gap via Multi-Agent Protocol Distillation in Agentic Searchcited by 5
- 2026AMTFV: Agentic Mathematical Tool-Flow Verification for LLM Self-Correctioncited by 0
- 2026Cross-Domain Hybrid OPD for Generalizable Search Agentscited by 0
- 2026Cross-Domain Hybrid OPD for Generalizable Search Agents3 Aug 2026
- 2026AMTFV: Agentic Mathematical Tool-Flow Verification for LLM Self-Correction31 Jul 2026
- 2026From Proprietary to Open-Source: Bridging the Distribution Gap via Multi-Agent Protocol Distillation in Agentic Search27 Jul 2026
- 2026LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning22 Mar 2026
- 2026Self-Distillation Zero: Self-Revision Turns Binary Rewards into Dense Supervisioncited by 68
- 2026Trajectory-Refined Distillationcited by 16
- 2026Trajectory-Refined Distillation7 Jun 2026
- 2026Self-Distillation Zero: Self-Revision Turns Binary Rewards into Dense Supervision13 Apr 2026
- 2026Natural-Language Agent Harnessescited by 61
- 2026Seed1.8 Model Card: Towards Generalized Real-World Agencycited by 50
- 2026Beyond Relevance-Centric Retrieval: Rubric-Oriented Document Set Selection and Rankingcited by 3
- 2026DecoEvo: Score-Decoupled Co-Evolution of Solver and Rubric-Generator Skills in Text Spacecited by 2
- 2026RLVR Datasets and Where to Find Them: Tracing Data Lineage for Better Training Datacited by 1
- 2026MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysiscited by 1
- 2026Self-Retrospection Distillation: Turning Post-hoc Experiences into Prior Foresightcited by 1
- 2025Encyclo-K: Evaluating LLMs with Dynamically Composed Knowledge Statementscited by 0
- 2026VeRA: Renewing Reasoning Benchmarks with Executable Specificationscited by 0
- 2026Self-Retrospection Distillation: Turning Post-hoc Experiences into Prior Foresight6 Oct 2026
- 2026DecoEvo: Score-Decoupled Co-Evolution of Solver and Rubric-Generator Skills in Text Space28 Jul 2026
- 2026Beyond Relevance-Centric Retrieval: Rubric-Oriented Document Set Selection and Ranking22 Jul 2026
- 2026MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis11 Jun 2026
- 2026RLVR Datasets and Where to Find Them: Tracing Data Lineage for Better Training Data26 May 2026
- 2026Natural-Language Agent Harnesses26 Mar 2026
- 2026Seed1.8 Model Card: Towards Generalized Real-World Agency21 Mar 2026
- 2026VeRA: Renewing Reasoning Benchmarks with Executable Specifications23 Jan 2026
- 2025Encyclo-K: Evaluating LLMs with Dynamically Composed Knowledge Statements31 Dec 2025
Similar, not cited
Close in wording, no citation either way
- 2025RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning
- 2025EEFSUVA: A New Mathematical Olympiad Benchmark
- 2024A Careful Examination of Large Language Model Performance on Grade School Arithmetic
- 2024Benchmarking Large Language Models for Math Reasoning Tasks
- 2025MathRobust-LV: Evaluation of Large Language Models' Robustness to Linguistic Variations in Mathematical Reasoning
- 2025UGMathBench: A Diverse and Dynamic Benchmark for Undergraduate-Level Mathematical Reasoning with Large Language Models
- 2024Mathador-LM: A Dynamic Benchmark for Mathematical Reasoning on Large Language Models
- 2025Brains vs. Bytes: Evaluating LLM Proficiency in Olympiad Mathematics