MARIO: MAth Reasoning with code Interpreter Output -- A Reproducible Pipeline
On the map: LLM reasoning → Mathematical reasoning
Abstract (arXiv)
Large language models (LLMs) have seen considerable advancements in natural language understanding tasks, yet there remains a gap to bridge before attaining true artificial general intelligence, especially concerning shortcomings in mathematical reasoning capabilities. We postulate that the inherent nature of LLM training, which focuses on predicting probabilities of next token, presents challenges in effectively modeling mathematical reasoning that demands exact calculations, both from data-driven and theoretical standpoints. In this paper, we address this challenge by enriching the data landscape and introducing a novel math dataset, enhanced with a capability to utilize a Python code interpreter. This dataset is derived from GSM8K and MATH and has been further refined through a combination of GPT-4 annotations, human review, and self-training processes, where the errors in the original GSM8K training set have been fixed. Additionally, we propose a tentative, easily replicable protocol for the fine-tuning of math-specific LLMs, which has led to a significant improvement in the performance of a 7B-parameter LLM on the GSM8K and MATH datasets. We are committed to advancing the field of mathematical reasoning in LLMs and, to that end, we have made source code for data generation / training / inference, and the model checkpoints publicly available at urlhttps://github.com/MARIO-Math-Reasoning/MARIO. We hope this will facilitate further research and development within the community.
Key facts. Cited by 81 papers in the map (data through 7 Oct 2026). Placed in Mathematical reasoning, one of 17 directions in LLM reasoning. Builds on 35 of its 42 references that are in the map. First posted on arXiv 16 Jan 2024.
Builds on
35 of 42 references.
Closest ancestors · 7
Same direction, newest first
- 2023Llemma: An Open Language Model For Mathematics16 Oct
- 2023MathCoder: Seamless Code Integration in LLMs for Enhanced Mathematical Reasoning5 Oct
- 2023ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving29 Sep
- 2023WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct18 Aug
- 2023Solving Challenging Math Word Problems Using GPT-4 Code Interpreter with Code-based Self-Verification15 Aug
- 2023Scaling Relationship on Learning Mathematical Reasoning with Large Language Models3 Aug
- 2022Solving Quantitative Reasoning Problems with Language Models29 Jun
Other references · 28
- 2023GPT-4 Technical Reportcited by 18,132
- 2021LoRA: Low-Rank Adaptation of Large Language Modelscited by 14,084
- 2023Llama 2: Open Foundation and Fine-Tuned Chat Modelscited by 12,865
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,302
- 2015Distilling the Knowledge in a Neural Networkcited by 10,076
- 2021Training Verifiers to Solve Math Word Problemscited by 9,743
- 2022ReAct: Synergizing Reasoning and Acting in Language Modelscited by 8,355
- 2022Self-Consistency Improves Chain of Thought Reasoning in Language Modelscited by 5,601
- 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,203
- 2022Large Language Models are Zero-Shot Reasonerscited by 4,323
- 2023Let's Verify Step by Stepcited by 3,598
- 2023Self-Refine: Iterative Refinement with Self-Feedbackcited by 3,317
16 more
- 2023FlashAttention-2: Faster Attention with Better Parallelism and Work Partitioningcited by 2,551
- 2023Code Llama: Open Foundation Models for Codecited by 2,105
- 2020Knowledge Distillation: A Surveycited by 1,578
- 2023PaLM 2 Technical Reportcited by 1,154
- 2022Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Taskscited by 1,057
- 2023MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Modelscited by 724
- 2022PAL: Program-aided Language Modelscited by 635
- 2023MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuningcited by 483
- 2022Large Language Models Are Reasoning Teacherscited by 318
- 2022Large Language Models are Better Reasoners with Self-Verificationcited by 304
- 2021ZeRO-Infinity: Breaking the GPU Memory Wall for Extreme Scale Deep Learningcited by 253
- 2023Specializing Smaller Language Models towards Multi-Step Reasoningcited by 249
- 2023Skywork: A More Open Bilingual Foundation Modelcited by 110
- 2023GPT Can Solve Mathematical Problems Without a Calculatorcited by 68
- 2023GRACE: Discriminator-Guided Chain-of-Thought Reasoningcited by 35
- 2022Chaining Simultaneous Thoughts for Numerical Reasoningcited by 14
Built on by
Citing papers per year: 2024: 16; 2025: 42; 2026: 23.
81 papers.
Sort:
By area:
- 2024Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvementcited by 1,057
- 2025The Lessons of Developing Process Reward Models in Mathematical Reasoningcited by 402
- 2025Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Modelscited by 381
- 2025ToolRL: Reward is All Tool Learning Needscited by 342
- 2025rStar-Math: Small LLMs Can Master Math Reasoning with Self-Evolved Deep Thinkingcited by 308
- 2024Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMscited by 265
- 2025ToRL: Scaling Tool-Integrated RLcited by 166
- 2025AIMO-2 Winning Solution: Building State-of-the-Art Mathematical Reasoning Models with OpenMathReasoning datasetcited by 165
- 2024AlphaMath Almost Zero: Process Supervision without Processcited by 160
- 2024OpenMathInstruct-1: A 1.8 Million Math Instruction Tuning Datasetcited by 143
- 2025Reward-Guided Speculative Decoding for Efficient LLM Reasoningcited by 106
- 2024DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solvingcited by 92
38 more
- 2024LLaMA-Berry: Pairwise Optimization for O1-like Olympiad-Level Mathematical Reasoningcited by 90
- 2024AceMath: Advancing Frontier Math Reasoning with Post-Training and Reward Modelingcited by 76
- 2024Step-level Value Preference Optimization for Mathematical Reasoningcited by 71
- 2025Ego-R1: Chain-of-Tool-Thought for Ultra-Long Egocentric Video Reasoningcited by 67
- 2025ReasonFlux: Hierarchical LLM Reasoning via Scaling Thought Templatescited by 62
- 2025Visual Agentic Reinforcement Fine-Tuningcited by 53
- 2025Code to Think, Think to Code: A Survey on Code-Enhanced Reasoning and Reasoning-Driven Code Intelligence in LLMscited by 47
- 2024JiuZhang3.0: Efficiently Improving Mathematical Reasoning by Training Small Data Synthesis Modelscited by 44
- 2025Scaling Laws of Synthetic Data for Language Modelscited by 44
- 2025Solver-Informed RL: Grounding Large Language Models for Authentic Optimization Modelingcited by 44
- 2024MathCoder2: Better Math Reasoning from Continued Pretraining on Model-translated Mathematical Codecited by 39
- 2025S2R: Teaching LLMs to Self-verify and Self-correct via Reinforcement Learningcited by 37
- 2025Demystifying Reinforcement Learning in Agentic Reasoningcited by 32
- 2025To Code or not to Code? Adaptive Tool Integration for Math Language Models via Expectation-Maximizationcited by 25
- 2024An LLM Agent for Automatic Geospatial Data Analysiscited by 21
- 2025Process-based Self-Rewarding Language Modelscited by 21
- 2026SCRIBE: Structured Mid-Level Supervision for Tool-Using Language Modelscited by 20
- 2024Markov Chain of Thought for Efficient Mathematical Reasoningcited by 19
- 2025Towards Concise and Adaptive Thinking in Large Reasoning Models: A Surveycited by 18
- 2024Search, Verify and Feedback: Towards Next Generation Post-training Paradigm of Foundation Models via Verifier Engineeringcited by 16
- 2024MARIO Eval: Evaluate Your Math LLM with your Math LLM--A mathematical dataset evaluation toolkitcited by 14
- 2025Full-Step-DPO: Self-Supervised Preference Optimization with Step-wise Rewards for Mathematical Reasoningcited by 14
- 2025Linking Process to Outcome: Conditional Reward Modeling for LLM Reasoningcited by 14
- 2025Better Process Supervision with Bi-directional Rewarding Signalscited by 12
- 2026AgentV-RL: Scaling Reward Modeling with Agentic Verifiercited by 12
- 2025A Survey on Feedback-based Multi-step Reasoning for Large Language Models on Mathematicscited by 11
- 2025Rectified Sparse Attentioncited by 10
- 2025Omni-Thinker: Scaling Multi-Task RL in LLMs with Hybrid Reward and Task Schedulingcited by 9
- 2025ResT: Reshaping Token-Level Policy Gradients for Tool-Use Large Language Modelscited by 9
- 2025Orthogonal Finetuning Made Scalablecited by 7
- 2025Reward Models Identify Consistency, Not Causalitycited by 6
- 2025Towards Better Understanding of Program-of-Thought Reasoning in Cross-Lingual and Multilingual Environmentscited by 6
- 2025MetaLadder: Ascending Mathematical Solution Quality via Analogical-Problem Reasoning Transfercited by 6
- 2024GeoCoder: Solving Geometry Problems by Generating Modular Code through Vision-Language Modelscited by 5
- 2025Layer-Aware Task Arithmetic: Disentangling Task-Specific and Instruction-Following Knowledgecited by 5
- 2025Supervised Optimism Correction: Be Confident When LLMs Are Surecited by 5
- 2025ASyMOB: Algebraic Symbolic Mathematical Operations Benchmarkcited by 5
- 2026LycheeDecode: Accelerating Long-Context LLM Inference via Hybrid-Head Sparse Decodingcited by 5
50 most cited of 81 All 81 (JSON)
- 2026Asynchronous LLM Post-Training: Group-Mass Capping and Convergence Analysis1 Oct 2026
- 2026Learning Process Rewards via Reasoning State Propagation30 Sep 2026
- 2026When Tokenization is Secretly Output Supervision1 Sep 2026
- 2026What Makes Good Agentic Data? An ACE Lens on Data Generation for LLM Agents27 Aug 2026
- 2026DIAG: Diagnostic Iterative Alignment and Generation for Data-Efficient Mathematical Preference Distillation24 Aug 2026
- 2026Hi-TTRL: Regulating Consensus with Hints for Test-Time Reinforcement Learning4 Aug 2026
- 2026GSM-Plus-BN: A Perturbation-Based Benchmark for Bangla Mathematical Reasoning in Large Language Models14 Jul 2026
- 2026PACT: Privileged Trace Co-Training for Multi-Turn Tool-Use Agents15 Jun 2026
- 2026The Bridge-Garden Dilemma in LLM Distillation: Why Mixing Hard and Soft Labels Works25 May 2026
- 2026PruneTIR: Inference-Time Tool Call Pruning for Effective yet Efficient Tool-Integrated Reasoning11 May 2026
- 2026AgentV-RL: Scaling Reward Modeling with Agentic Verifier17 Apr 2026
- 2026CoTEvol: Self-Evolving Chain-of-Thoughts for Data Synthesis in Mathematical Reasoning16 Apr 2026
38 more
- 2026MathAgent: Adversarial Evolution of Constraint Graphs for Mathematical Reasoning Data Synthesis13 Apr 2026
- 2026Controllable and Verifiable Tool-Use Data Synthesis for Agentic Reinforcement Learning10 Apr 2026
- 2026When to Trust Tools? Adaptive Tool Trust Calibration For Tool-Integrated Math Reasoning9 Apr 2026
- 2026The Master Key Hypothesis: Unlocking Cross-Model Capability Transfer via Linear Subspace Alignment7 Apr 2026
- 2026Universal YOCO for Efficient Depth Scaling1 Apr 2026
- 2026Are complicated loss functions necessary for teaching LLMs to reason?19 Mar 2026
- 2026LycheeDecode: Accelerating Long-Context LLM Inference via Hybrid-Head Sparse Decoding4 Feb 2026
- 2026Not All Preferences Deserve Gradients: Understanding Gradient Utility in Offline Reasoning Alignment1 Feb 2026
- 2026ImgCoT: Compressing Long Chain of Thought into Compact Visual Tokens for Efficient Reasoning of Large Language Model30 Jan 2026
- 2026From Verifiable Dot to Reward Chain: Harnessing Verifiable Reference-based Rewards for Reinforcement Learning of Open-ended Generation26 Jan 2026
- 2026SCRIBE: Structured Mid-Level Supervision for Tool-Using Language Models7 Jan 2026
- 2025Parrot: A Training Pipeline Enhances Both Program CoT and Natural Language CoT for Reasoning29 Oct 2025
- 2025Cog-Rethinker: Hierarchical Metacognitive Reinforcement Learning for LLM Reasoning13 Oct 2025
- 2025Demystifying Reinforcement Learning in Agentic Reasoning13 Oct 2025
- 2025Linking Process to Outcome: Conditional Reward Modeling for LLM Reasoning30 Sep 2025
- 2025ResT: Reshaping Token-Level Policy Gradients for Tool-Use Large Language Models26 Sep 2025
- 2025Future Policy Approximation for Offline Reinforcement Learning in LLM Reasoning24 Sep 2025
- 2025NeedleChain: Measuring Intact Context Comprehension Capability of Large Language Models30 Jul 2025
- 2025Running in CIRCLE? A Simple Benchmark for LLM Code Interpreter Security25 Jul 2025
- 2025Omni-Thinker: Scaling Multi-Task RL in LLMs with Hybrid Reward and Task Scheduling20 Jul 2025
- 2025Towards Concise and Adaptive Thinking in Large Reasoning Models: A Survey13 Jul 2025
- 2025Orthogonal Finetuning Made Scalable24 Jun 2025
- 2025Ego-R1: Chain-of-Tool-Thought for Ultra-Long Egocentric Video Reasoning16 Jun 2025
- 2025AbstRaL: Augmenting LLMs' Reasoning by Reinforcing Abstract Thinking9 Jun 2025
- 2025Rectified Sparse Attention4 Jun 2025
- 2025ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark28 May 2025
- 2025Beyond Templates: Dynamic Adaptation of Reasoning Demonstrations via Feasibility-Aware Exploration27 May 2025
- 2025SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation20 May 2025
- 2025Visual Agentic Reinforcement Fine-Tuning20 May 2025
- 2025Solver-Informed RL: Grounding Large Language Models for Authentic Optimization Modeling17 May 2025
- 2025AIMO-2 Winning Solution: Building State-of-the-Art Mathematical Reasoning Models with OpenMathReasoning dataset23 Apr 2025
- 2025ToolRL: Reward is All Tool Learning Needs16 Apr 2025
- 2025Supervised Optimism Correction: Be Confident When LLMs Are Sure10 Apr 2025
- 2025ToRL: Scaling Tool-Integrated RL30 Mar 2025
- 2025Scaling Laws of Synthetic Data for Language Models25 Mar 2025
- 2025MetaLadder: Ascending Mathematical Solution Quality via Analogical-Problem Reasoning Transfer19 Mar 2025
- 2025Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Models12 Mar 2025
- 2025Better Process Supervision with Bi-directional Rewarding Signals6 Mar 2025
50 newest of 81 All 81 (JSON)
- 2025The Lessons of Developing Process Reward Models in Mathematical Reasoningcited by 402
- 2025Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Modelscited by 381
- 2025rStar-Math: Small LLMs Can Master Math Reasoning with Self-Evolved Deep Thinkingcited by 308
- 2024Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMscited by 265
- 2025AIMO-2 Winning Solution: Building State-of-the-Art Mathematical Reasoning Models with OpenMathReasoning datasetcited by 165
- 2024AlphaMath Almost Zero: Process Supervision without Processcited by 160
- 2024OpenMathInstruct-1: A 1.8 Million Math Instruction Tuning Datasetcited by 143
- 2025Reward-Guided Speculative Decoding for Efficient LLM Reasoningcited by 106
- 2024DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solvingcited by 92
- 2024LLaMA-Berry: Pairwise Optimization for O1-like Olympiad-Level Mathematical Reasoningcited by 90
- 2024AceMath: Advancing Frontier Math Reasoning with Post-Training and Reward Modelingcited by 76
- 2024Step-level Value Preference Optimization for Mathematical Reasoningcited by 71
12 most cited of 54 All 54 (JSON)
- 2026Asynchronous LLM Post-Training: Group-Mass Capping and Convergence Analysis1 Oct 2026
- 2026Learning Process Rewards via Reasoning State Propagation30 Sep 2026
- 2026DIAG: Diagnostic Iterative Alignment and Generation for Data-Efficient Mathematical Preference Distillation24 Aug 2026
- 2026Hi-TTRL: Regulating Consensus with Hints for Test-Time Reinforcement Learning4 Aug 2026
- 2026GSM-Plus-BN: A Perturbation-Based Benchmark for Bangla Mathematical Reasoning in Large Language Models14 Jul 2026
- 2026PruneTIR: Inference-Time Tool Call Pruning for Effective yet Efficient Tool-Integrated Reasoning11 May 2026
- 2026AgentV-RL: Scaling Reward Modeling with Agentic Verifier17 Apr 2026
- 2026CoTEvol: Self-Evolving Chain-of-Thoughts for Data Synthesis in Mathematical Reasoning16 Apr 2026
- 2026MathAgent: Adversarial Evolution of Constraint Graphs for Mathematical Reasoning Data Synthesis13 Apr 2026
- 2026When to Trust Tools? Adaptive Tool Trust Calibration For Tool-Integrated Math Reasoning9 Apr 2026
- 2026The Master Key Hypothesis: Unlocking Cross-Model Capability Transfer via Linear Subspace Alignment7 Apr 2026
- 2026Universal YOCO for Efficient Depth Scaling1 Apr 2026
12 newest of 54 All 54 (JSON)
- 2025ToolRL: Reward is All Tool Learning Needscited by 342
- 2025ToRL: Scaling Tool-Integrated RLcited by 166
- 2024An LLM Agent for Automatic Geospatial Data Analysiscited by 21
- 2026Controllable and Verifiable Tool-Use Data Synthesis for Agentic Reinforcement Learningcited by 5
- 2026What Makes Good Agentic Data? An ACE Lens on Data Generation for LLM Agentscited by 2
- 2024Training Agents with Weakly Supervised Feedback from Large Language Modelscited by 1
- 2026What Makes Good Agentic Data? An ACE Lens on Data Generation for LLM Agents27 Aug 2026
- 2026Controllable and Verifiable Tool-Use Data Synthesis for Agentic Reinforcement Learning10 Apr 2026
- 2025ToolRL: Reward is All Tool Learning Needs16 Apr 2025
- 2025ToRL: Scaling Tool-Integrated RL30 Mar 2025
- 2024Training Agents with Weakly Supervised Feedback from Large Language Models29 Nov 2024
- 2024An LLM Agent for Automatic Geospatial Data Analysis24 Oct 2024
- 2025Rectified Sparse Attentioncited by 10
- 2026LycheeDecode: Accelerating Long-Context LLM Inference via Hybrid-Head Sparse Decodingcited by 5
- 2026LycheeDecode: Accelerating Long-Context LLM Inference via Hybrid-Head Sparse Decoding4 Feb 2026
- 2025Rectified Sparse Attention4 Jun 2025
- 2025Solver-Informed RL: Grounding Large Language Models for Authentic Optimization Modelingcited by 44
- 2024Search, Verify and Feedback: Towards Next Generation Post-training Paradigm of Foundation Models via Verifier Engineeringcited by 16
- 2024MARIO Eval: Evaluate Your Math LLM with your Math LLM--A mathematical dataset evaluation toolkitcited by 14
- 2025ResT: Reshaping Token-Level Policy Gradients for Tool-Use Large Language Modelscited by 9
- 2025Orthogonal Finetuning Made Scalablecited by 7
- 2025Layer-Aware Task Arithmetic: Disentangling Task-Specific and Instruction-Following Knowledgecited by 5
- 2025Supervised Optimism Correction: Be Confident When LLMs Are Surecited by 5
- 2025ASyMOB: Algebraic Symbolic Mathematical Operations Benchmarkcited by 5
- 2025BOSE: A Systematic Evaluation Method Optimized for Base Modelscited by 4
- 2026PACT: Privileged Trace Co-Training for Multi-Turn Tool-Use Agentscited by 3
- 2025Running in CIRCLE? A Simple Benchmark for LLM Code Interpreter Securitycited by 2
- 2025NeedleChain: Measuring Intact Context Comprehension Capability of Large Language Modelscited by 0
12 most cited of 14 All 14 (JSON)
- 2026When Tokenization is Secretly Output Supervision1 Sep 2026
- 2026PACT: Privileged Trace Co-Training for Multi-Turn Tool-Use Agents15 Jun 2026
- 2026The Bridge-Garden Dilemma in LLM Distillation: Why Mixing Hard and Soft Labels Works25 May 2026
- 2025ResT: Reshaping Token-Level Policy Gradients for Tool-Use Large Language Models26 Sep 2025
- 2025NeedleChain: Measuring Intact Context Comprehension Capability of Large Language Models30 Jul 2025
- 2025Running in CIRCLE? A Simple Benchmark for LLM Code Interpreter Security25 Jul 2025
- 2025Orthogonal Finetuning Made Scalable24 Jun 2025
- 2025ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark28 May 2025
- 2025Solver-Informed RL: Grounding Large Language Models for Authentic Optimization Modeling17 May 2025
- 2025Supervised Optimism Correction: Be Confident When LLMs Are Sure10 Apr 2025
- 2025BOSE: A Systematic Evaluation Method Optimized for Base Models2 Mar 2025
- 2025Layer-Aware Task Arithmetic: Disentangling Task-Specific and Instruction-Following Knowledge27 Feb 2025
12 newest of 14 All 14 (JSON)
Similar, not cited
Close in wording, no citation either way
- 2025Mathematical Reasoning in Large Language Models: Assessing Logical and Arithmetic Errors across Wide Numerical Ranges
- 2025Do LLMs Overthink Basic Math Reasoning? Benchmarking the Accuracy-Efficiency Tradeoff in Language Models
- 2024GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models
- 2026Mathematical Reasoning in Large Language Models: Benchmarks, Architectures, Evaluation, and Open Challenges
- 2024Assessing the Emergent Symbolic Reasoning Abilities of Llama Large Language Models
- 2025Can LLMs textitunderstand Math? -- Exploring the Pitfalls in Mathematical Reasoning
- 2024ReasonAgain: Using Extractable Symbolic Programs to Evaluate Mathematical Reasoning
- 2025Thinking Machines: Mathematical Reasoning in the Age of LLMs