Functional Benchmarks for Robust Evaluation of Reasoning Performance, and the Reasoning Gap
On the map: LLM reasoning → Mathematical reasoning
Abstract (arXiv)
We propose a framework for robust evaluation of reasoning capabilities of language models, using functional variants of benchmarks. Models that solve a reasoning test should exhibit no difference in performance over the static version of a problem compared to a snapshot of the functional variant. We have rewritten the relevant fragment of the MATH benchmark into its functional variant MATH(), with functionalization of other benchmarks to follow. When evaluating current state-of-the-art models over snapshots of MATH(), we find a reasoning gap -- the percentage difference between the static and functional accuracies. We find reasoning gaps from 58.35% to 80.31% among the state-of-the-art closed and open weights models that perform well on static benchmarks, with the caveat that the gaps are likely to be smaller with more sophisticated prompting strategies. Here we show that models which anecdotally have good reasoning performance over real-world tasks, have quantifiable lower gaps, motivating the open problem of building "gap 0" models. Code for evaluation and new evaluation datasets, three MATH() snapshots, are publicly available at https://github.com/consequentai/fneval/.
Key facts. Cited by 79 papers in the map (data through 7 Oct 2026). Placed in Mathematical reasoning, one of 17 directions in LLM reasoning. Builds on 43 of its 66 references that are in the map. First posted on arXiv 29 Feb 2024.
Builds on
43 of 66 references.
Closest ancestors · 1
Same direction, newest first
- 2023Have LLMs Advanced Enough? A Challenging Problem Solving Benchmark For Large Language Models24 May
Other references · 42
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,302
- 2021Training Verifiers to Solve Math Word Problemscited by 9,743
- 2021Evaluating Large Language Models Trained on Codecited by 8,053
- 2020Measuring Massive Multitask Language Understandingcited by 7,768
- 2022Self-Consistency Improves Chain of Thought Reasoning in Language Modelscited by 5,601
- 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,203
- 2018Think you have Solved Question Answering? Try ARC, the AI2 Reasoning Challengecited by 4,710
- 2021Program Synthesis with Large Language Modelscited by 3,509
- 2023Qwen Technical Reportcited by 3,273
- 2023Tree of Thoughts: Deliberate Problem Solving with Large Language Modelscited by 3,155
- 2017TriviaQA: A Large Scale Distantly Supervised Challenge Dataset for Reading Comprehensioncited by 2,895
- 2019PIQA: Reasoning about Physical Commonsense in Natural Languagecited by 2,818
30 more
- 2022Self-Instruct: Aligning Language Models with Self-Generated Instructionscited by 2,674
- 2022Emergent Abilities of Large Language Modelscited by 2,483
- 2019BoolQ: Exploring the Surprising Difficulty of Natural Yes/No Questionscited by 2,140
- 2018Can a Suit of Armor Conduct Electricity? A New Dataset for Open Book Question Answeringcited by 2,114
- 2018CommonsenseQA: A Question Answering Challenge Targeting Commonsense Knowledgecited by 1,793
- 2022Least-to-Most Prompting Enables Complex Reasoning in Large Language Modelscited by 1,397
- 2022Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Taskscited by 1,057
- 2023Teaching Large Language Models to Self-Debugcited by 963
- 2019DROP: A Reading Comprehension Benchmark Requiring Discrete Reasoning Over Paragraphscited by 883
- 2023Large Language Modelscited by 774
- 2023AGIEval: A Human-Centric Benchmark for Evaluating Foundation Modelscited by 701
- 2023LLM+P: Empowering Large Language Models with Optimal Planning Proficiencycited by 496
- 2023Scalable Extraction of Training Data from (Production) Language Modelscited by 415
- 2018QuAC : Question Answering in Contextcited by 379
- 2023The Curse of Recursion: Training on Generated Data Makes Models Forgetcited by 343
- 2023Beyond Human Data: Scaling Self-Training for Problem-Solving with Language Modelscited by 325
- 2023Reasoning or Reciting? Exploring the Capabilities and Limitations of Language Models Through Counterfactual Taskscited by 243
- 2023Planning with Large Language Models for Code Generationcited by 179
- 2023The Capacity for Moral Self-Correction in Large Language Modelscited by 171
- 2024The Impact of Reasoning Step Length on Large Language Modelscited by 152
- 2023Progressive-Hint Prompting Improves Reasoning in Large Language Modelscited by 147
- 2023Chain of Code: Reasoning with a Language Model-Augmented Code Emulatorcited by 120
- 2023The Truth is in There: Improving Reasoning in Language Models with Layer-Selective Rank Reductioncited by 120
- 2023R-Tuning: Instructing Large Language Models to Say `I Don't Know'cited by 106
- 2023Task Contamination: Language Models May Not Be Few-Shot Anymorecited by 98
- 2023GPT-4 Doesn't Know It's Wrong: An Analysis of Iterative Prompting for Reasoning Problemscited by 88
- 2023ReST meets ReAct: Self-Improvement for Multi-Step Reasoning LLM Agentcited by 78
- 2021AR-LSAT: Investigating Analytical Reasoning of Textcited by 49
- 2023Pretraining Data Mixtures Enable Narrow Model Selection Capabilities in Transformer Modelscited by 45
- 2024Understanding Reasoning Ability of Language Models From the Perspective of Reasoning Paths Aggregationcited by 22
Built on by
Citing papers per year: 2024: 38; 2025: 34; 2026: 7.
79 papers.
Sort:
By area:
- 2024GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Modelscited by 533
- 2024Training Language Models to Self-Correct via Reinforcement Learningcited by 405
- 2024LiveBench: A Challenging, Contamination-Limited LLM Benchmarkcited by 242
- 2024A Careful Examination of Large Language Model Performance on Grade School Arithmeticcited by 188
- 2024DynaMath: A Dynamic Visual Benchmark for Evaluating Mathematical Reasoning Robustness of Vision Language Modelscited by 143
- 2024On Memorization of Large Language Models in Logical Reasoningcited by 114
- 2025A Sober Look at Progress in Language Model Reasoning: Pitfalls and Paths to Reproducibilitycited by 89
- 2025MATH-Perturb: Benchmarking LLMs' Math Reasoning Abilities against Hard Perturbationscited by 88
- 2024Inference-Aware Fine-Tuning for Best-of-N Sampling in Large Language Modelscited by 86
- 2024Test of Time: A Benchmark for Evaluating LLMs on Temporal Reasoningcited by 83
- 2024Generalization v.s. Memorization: Tracing Language Models' Capabilities Back to Pretraining Datacited by 83
- 2024Beyond Accuracy: Evaluating the Reasoning Behavior of Large Language Models -- A Surveycited by 82
38 more
- 2025Towards Robust Mathematical Reasoningcited by 67
- 2024Smaller, Weaker, Yet Better: Training LLM Reasoners via Compute-Optimal Samplingcited by 60
- 2024SimpleToM: Exposing the Gap between Explicit ToM Inference and Implicit ToM Application in LLMscited by 51
- 2025UGPhysics: A Comprehensive Benchmark for Undergraduate Physics Reasoning with Large Language Modelscited by 45
- 2024AntiLeakBench: Preventing Data Contamination by Automatically Constructing Benchmarks with Updated Real-World Knowledgecited by 42
- 2025Reasoning Language Models: A Blueprintcited by 41
- 2025A Survey on Data Contamination for Large Language Modelscited by 33
- 2024Evaluating the Robustness of Analogical Reasoning in Large Language Modelscited by 31
- 2024VarBench: Robust Language Model Benchmarking Through Dynamic Variable Perturbationcited by 29
- 2024Not All LLM Reasoners Are Created Equalcited by 29
- 2024The CLRS-Text Algorithmic Reasoning Language Benchmarkcited by 28
- 2024Deciphering the Factors Influencing the Efficacy of Chain-of-Thought: Probability, Memorization, and Noisy Reasoningcited by 27
- 2024Accuracy is Not All You Needcited by 27
- 2024Knowledge Distillation in Automated Annotation: Supervised Text Classification with LLM-Generated Training Labelscited by 25
- 2024Can LLMs Solve longer Math Word Problems Better?cited by 22
- 2025Brains vs. Bytes: Evaluating LLM Proficiency in Olympiad Mathematicscited by 22
- 2024Quantifying Generalization Complexity for Large Language Modelscited by 18
- 2025Stepwise Guided Policy Optimization: Coloring your Incorrect Reasoning in GRPOcited by 18
- 2024Language Models are Surprisingly Fragile to Drug Names in Biomedical Benchmarkscited by 17
- 2024UnSeenTimeQA: Time-Sensitive Question-Answering Beyond LLMs' Memorizationcited by 17
- 2024LiveXiv -- A Multi-Modal Live Benchmark Based on Arxiv Papers Contentcited by 17
- 2025Probing for Arithmetic Errors in Language Modelscited by 17
- 2024ONEBench to Test Them All: Sample-Level Benchmarking Over Open-Ended Capabilitiescited by 13
- 2025UGMathBench: A Diverse and Dynamic Benchmark for Undergraduate-Level Mathematical Reasoning with Large Language Modelscited by 13
- 2025RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluationcited by 11
- 2025EngiBench: A Benchmark for Evaluating Large Language Models on Engineering Problem Solvingcited by 10
- 2024LLMs are not Zero-Shot Reasoners for Biomedical Information Extractioncited by 9
- 2025Putnam-AXIOM: A Functional and Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMscited by 9
- 2024Enhancing Logical Reasoning in Large Language Models through Graph-based Synthetic Datacited by 8
- 2024Can Large Language Models Act as Symbolic Reasoners?cited by 8
- 2025VAR-MATH: Probing True Mathematical Reasoning in LLMS via Symbolic Multi-Instance Benchmarkscited by 8
- 2026Riemann-Bench: A Benchmark for Moonshot Mathematicscited by 8
- 2025Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoningcited by 7
- 2025Toward Automated Robustness Evaluation of Mathematical Reasoningcited by 6
- 2024Frontier AI Ethics: Anticipating and Evaluating the Societal Impacts of Language Model Agentscited by 5
- 2024Can LLMs Learn by Teaching for Better Reasoning? A Preliminary Studycited by 5
- 2025None of the Others: a General Technique to Distinguish Reasoning from Memorization in Multiple-Choice LLM Evaluation Benchmarkscited by 5
- 2025ASyMOB: Algebraic Symbolic Mathematical Operations Benchmarkcited by 5
50 most cited of 79 All 79 (JSON)
- 2026Beyond Compression: Diagnosing How Post-Training Changes Mathematical Reasoning29 Sep 2026
- 2026MemoReason: Evaluating the Effect of Parametric Memory on Contextual Reasoning in LLMs28 Sep 2026
- 2026MirrorCode: AI can rebuild entire programs from behavior alone29 Jun 2026
- 2026Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery7 Jun 2026
- 2026LPDS: Evaluating LLM Robustness Through Logic-Preserving Difficulty Scaling14 May 2026
- 2026Riemann-Bench: A Benchmark for Moonshot Mathematics8 Apr 2026
- 2026Robust Reasoning Benchmark26 Mar 2026
- 2025DEVAL: A Framework for Evaluating and Improving the Derivation Capability of Large Language Models18 Nov 2025
- 2025Position: On the Methodological Pitfalls of Evaluating Base LLMs for Reasoning13 Nov 2025
- 2025Numerical Sensitivity and Robustness: Exploring the Flaws of Mathematical Reasoning in Large Language Models11 Nov 2025
- 2025How Well Do LLMs Understand Drug Mechanisms? A Knowledge + Reasoning Evaluation Dataset9 Nov 2025
- 2025Towards Robust Mathematical Reasoning3 Nov 2025
38 more
- 2025Data-Centric Lessons To Improve Speech-Language Pretraining22 Oct 2025
- 2025Evaluating LLM Reasoning Beyond Correctness and CoT20 Oct 2025
- 2025Understanding the Ability of LLMs to Handle Character-Level Perturbation16 Oct 2025
- 2025RefGrader: Automated Grading of Mathematical Competition Proofs using Agentic Workflows10 Oct 2025
- 2025Syntactic Blind Spots: How Misalignment Leads to LLMs Mathematical Errors2 Oct 2025
- 2025EngiBench: A Benchmark for Evaluating Large Language Models on Engineering Problem Solving22 Sep 2025
- 2025Co-Alignment: Rethinking Alignment as Bidirectional Human-AI Cognitive Adaptation15 Sep 2025
- 2025Investigating Advanced Reasoning of Large Language Models via Black-Box Environment Interaction26 Aug 2025
- 2025Putnam-AXIOM: A Functional and Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMs5 Aug 2025
- 2025VAR-MATH: Probing True Mathematical Reasoning in LLMS via Symbolic Multi-Instance Benchmarks17 Jul 2025
- 2025Probing for Arithmetic Errors in Language Models16 Jul 2025
- 2025A Survey of Deep Learning for Geometry Problem Solving16 Jul 2025
- 2025Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning14 Jul 2025
- 2025RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation18 Jun 2025
- 2025AbstRaL: Augmenting LLMs' Reasoning by Reinforcing Abstract Thinking9 Jun 2025
- 2025Toward Automated Robustness Evaluation of Mathematical Reasoning5 Jun 2025
- 2025ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark28 May 2025
- 2025Stepwise Guided Policy Optimization: Coloring your Incorrect Reasoning in GRPO16 May 2025
- 2025Executable Functional Abstractions: Inferring Generative Programs for Advanced Math Problems14 Apr 2025
- 2025Short-Path Prompting in LLMs: Analyzing Reasoning Instability and Solutions for Robust Performance13 Apr 2025
- 2025A Sober Look at Progress in Language Model Reasoning: Pitfalls and Paths to Reproducibility9 Apr 2025
- 2025DeduCE: Deductive Consistency as a Framework to Evaluate LLM Reasoning9 Apr 2025
- 2025Brains vs. Bytes: Evaluating LLM Proficiency in Olympiad Mathematics1 Apr 2025
- 2025A Survey on Data Contamination for Large Language Models20 Feb 2025
- 2025None of the Others: a General Technique to Distinguish Reasoning from Memorization in Multiple-Choice LLM Evaluation Benchmarks18 Feb 2025
- 2025MATH-Perturb: Benchmarking LLMs' Math Reasoning Abilities against Hard Perturbations10 Feb 2025
- 2025UGPhysics: A Comprehensive Benchmark for Undergraduate Physics Reasoning with Large Language Models1 Feb 2025
- 2025UGMathBench: A Diverse and Dynamic Benchmark for Undergraduate-Level Mathematical Reasoning with Large Language Models23 Jan 2025
- 2025Reasoning Language Models: A Blueprint20 Jan 2025
- 2024Ask-Before-Detection: Identifying and Mitigating Conformity Bias in LLM-Powered Error Detector for Math Word Problem Solutions22 Dec 2024
- 2024Critical-Questions-of-Thought: Steering LLM reasoning with Argumentative Querying19 Dec 2024
- 2024Inference-Aware Fine-Tuning for Best-of-N Sampling in Large Language Models18 Dec 2024
- 2024AntiLeakBench: Preventing Data Contamination by Automatically Constructing Benchmarks with Updated Real-World Knowledge18 Dec 2024
- 2024ONEBench to Test Them All: Sample-Level Benchmarking Over Open-Ended Capabilities9 Dec 2024
- 2024Evaluating the Robustness of Analogical Reasoning in Large Language Models21 Nov 2024
- 2024Probing the Capacity of Language Model Agents to Operationalize Disparate Experiential Context Despite Distraction19 Nov 2024
- 2024AI Horizon Scanning -- White Paper p3395, IEEE-SA. Part III: Technology Watch: a selection of key developments, emerging technologies, and industry trends in Artificial Intelligence5 Nov 2024
- 2024On Memorization of Large Language Models in Logical Reasoning30 Oct 2024
50 newest of 79 All 79 (JSON)
- 2024GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Modelscited by 533
- 2024Training Language Models to Self-Correct via Reinforcement Learningcited by 405
- 2024A Careful Examination of Large Language Model Performance on Grade School Arithmeticcited by 188
- 2024DynaMath: A Dynamic Visual Benchmark for Evaluating Mathematical Reasoning Robustness of Vision Language Modelscited by 143
- 2024On Memorization of Large Language Models in Logical Reasoningcited by 114
- 2025A Sober Look at Progress in Language Model Reasoning: Pitfalls and Paths to Reproducibilitycited by 89
- 2025MATH-Perturb: Benchmarking LLMs' Math Reasoning Abilities against Hard Perturbationscited by 88
- 2024Inference-Aware Fine-Tuning for Best-of-N Sampling in Large Language Modelscited by 86
- 2024Test of Time: A Benchmark for Evaluating LLMs on Temporal Reasoningcited by 83
- 2024Beyond Accuracy: Evaluating the Reasoning Behavior of Large Language Models -- A Surveycited by 82
- 2025Towards Robust Mathematical Reasoningcited by 67
- 2024Smaller, Weaker, Yet Better: Training LLM Reasoners via Compute-Optimal Samplingcited by 60
12 most cited of 48 All 48 (JSON)
- 2026Beyond Compression: Diagnosing How Post-Training Changes Mathematical Reasoning29 Sep 2026
- 2026MemoReason: Evaluating the Effect of Parametric Memory on Contextual Reasoning in LLMs28 Sep 2026
- 2026Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery7 Jun 2026
- 2026Robust Reasoning Benchmark26 Mar 2026
- 2025DEVAL: A Framework for Evaluating and Improving the Derivation Capability of Large Language Models18 Nov 2025
- 2025Position: On the Methodological Pitfalls of Evaluating Base LLMs for Reasoning13 Nov 2025
- 2025Numerical Sensitivity and Robustness: Exploring the Flaws of Mathematical Reasoning in Large Language Models11 Nov 2025
- 2025How Well Do LLMs Understand Drug Mechanisms? A Knowledge + Reasoning Evaluation Dataset9 Nov 2025
- 2025Towards Robust Mathematical Reasoning3 Nov 2025
- 2025Evaluating LLM Reasoning Beyond Correctness and CoT20 Oct 2025
- 2025EngiBench: A Benchmark for Evaluating Large Language Models on Engineering Problem Solving22 Sep 2025
- 2025Investigating Advanced Reasoning of Large Language Models via Black-Box Environment Interaction26 Aug 2025
12 newest of 48 All 48 (JSON)
- 2024Frontier AI Ethics: Anticipating and Evaluating the Societal Impacts of Language Model Agentscited by 5
- 2025RefGrader: Automated Grading of Mathematical Competition Proofs using Agentic Workflowscited by 3
- 2024Probing the Capacity of Language Model Agents to Operationalize Disparate Experiential Context Despite Distractioncited by 1
- 2025RefGrader: Automated Grading of Mathematical Competition Proofs using Agentic Workflows10 Oct 2025
- 2024Probing the Capacity of Language Model Agents to Operationalize Disparate Experiential Context Despite Distraction19 Nov 2024
- 2024Frontier AI Ethics: Anticipating and Evaluating the Societal Impacts of Language Model Agents10 Apr 2024
- 2024LiveBench: A Challenging, Contamination-Limited LLM Benchmarkcited by 242
- 2024Generalization v.s. Memorization: Tracing Language Models' Capabilities Back to Pretraining Datacited by 83
- 2024SimpleToM: Exposing the Gap between Explicit ToM Inference and Implicit ToM Application in LLMscited by 51
- 2024AntiLeakBench: Preventing Data Contamination by Automatically Constructing Benchmarks with Updated Real-World Knowledgecited by 42
- 2025A Survey on Data Contamination for Large Language Modelscited by 33
- 2024VarBench: Robust Language Model Benchmarking Through Dynamic Variable Perturbationcited by 29
- 2024Accuracy is Not All You Needcited by 27
- 2024Knowledge Distillation in Automated Annotation: Supervised Text Classification with LLM-Generated Training Labelscited by 25
- 2024Can LLMs Solve longer Math Word Problems Better?cited by 22
- 2024Quantifying Generalization Complexity for Large Language Modelscited by 18
- 2024Language Models are Surprisingly Fragile to Drug Names in Biomedical Benchmarkscited by 17
- 2024UnSeenTimeQA: Time-Sensitive Question-Answering Beyond LLMs' Memorizationcited by 17
12 most cited of 27 All 27 (JSON)
- 2026MirrorCode: AI can rebuild entire programs from behavior alone29 Jun 2026
- 2026LPDS: Evaluating LLM Robustness Through Logic-Preserving Difficulty Scaling14 May 2026
- 2026Riemann-Bench: A Benchmark for Moonshot Mathematics8 Apr 2026
- 2025Data-Centric Lessons To Improve Speech-Language Pretraining22 Oct 2025
- 2025Understanding the Ability of LLMs to Handle Character-Level Perturbation16 Oct 2025
- 2025Syntactic Blind Spots: How Misalignment Leads to LLMs Mathematical Errors2 Oct 2025
- 2025Probing for Arithmetic Errors in Language Models16 Jul 2025
- 2025ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark28 May 2025
- 2025Executable Functional Abstractions: Inferring Generative Programs for Advanced Math Problems14 Apr 2025
- 2025A Survey on Data Contamination for Large Language Models20 Feb 2025
- 2024Ask-Before-Detection: Identifying and Mitigating Conformity Bias in LLM-Powered Error Detector for Math Word Problem Solutions22 Dec 2024
- 2024AntiLeakBench: Preventing Data Contamination by Automatically Constructing Benchmarks with Updated Real-World Knowledge18 Dec 2024
12 newest of 27 All 27 (JSON)
Similar, not cited
Close in wording, no citation either way
- 2025ReliableMath: Benchmark of Reliable Mathematical Reasoning on Large Language Models
- 2025Catch Me If You Can: How Smaller Reasoning Models Pretend to Reason with Mathematical Fidelity
- 2025Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language Models
- 2025Do LLMs Overthink Basic Math Reasoning? Benchmarking the Accuracy-Efficiency Tradeoff in Language Models
- 2026More Accurate or More Efficient? Evaluating Locally Deployed Compact Open-Weight Language Models for Mathematical Reasoning
- 2025BeyondBench: Contamination-Resistant Evaluation of Reasoning in Language Models
- 2025MathRobust-LV: Evaluation of Large Language Models' Robustness to Linguistic Variations in Mathematical Reasoning
- 2025Mathematical Reasoning in Large Language Models: Assessing Logical and Arithmetic Errors across Wide Numerical Ranges