mlsanityData to 7 Oct 2026

Teaching Language Models to Reason with Tools

arXiv 2510.20342 ↗First posted 23 Oct 2025cs.CL cs.AIcited by 5

On the map: LLM reasoning → Mathematical reasoning

Abstract (arXiv)

Large reasoning models (LRMs) like OpenAI-o1 have shown impressive capabilities in natural language reasoning. However, these models frequently demonstrate inefficiencies or inaccuracies when tackling complex mathematical operations. While integrating computational tools such as Code Interpreters (CIs) offers a promising solution, it introduces a critical challenge: a conflict between the model's internal, probabilistic reasoning and the external, deterministic knowledge provided by the CI, which often leads models to unproductive deliberation. To overcome this, we introduce CoRT (Code-Optimized Reasoning Training), a post-training framework designed to teach LRMs to effectively utilize CIs. We propose Hint-Engineering, a new data synthesis strategy that strategically injects diverse hints at optimal points within reasoning paths. This approach generates high-quality, code-integrated reasoning data specifically tailored to optimize LRM-CI interaction. Using this method, we have synthesized 30 high-quality samples to post-train models ranging from 1.5B to 32B parameters through supervised fine-tuning. CoRT further refines the multi-round interleaving of external CI usage and internal thinking by employing rejection sampling and reinforcement learning. Our experimental evaluations demonstrate CoRT's effectiveness, yielding absolute improvements of 4% and 8% on DeepSeek-R1-Distill-Qwen-32B and DeepSeek-R1-Distill-Qwen-1.5B, respectively, across five challenging mathematical reasoning datasets. Moreover, CoRT significantly enhances efficiency, reducing token usage by approximately 30% for the 32B model and 50% for the 1.5B model compared to pure natural language reasoning baselines. The models and code are available at: https://github.com/ChengpengLi1003/CoRT.

Key facts. Cited by 5 papers in the map (data through 7 Oct 2026). Placed in Mathematical reasoning, one of 17 directions in LLM reasoning. Builds on 40 of its 70 references that are in the map. First posted on arXiv 23 Oct 2025.

Builds on

40 of 70 references.

Closest ancestors · 9

Same direction, newest first

  1. 2025A Survey on Large Language Models for Mathematical Reasoning10 Jun
  2. 2025LIMO: Less is More for Reasoning5 Feb
  3. 2025STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving31 Jan
  4. 2024TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts3 Jul
  5. 2024DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models5 Feb
  6. 2023Llemma: An Open Language Model For Mathematics16 Oct
  7. 2023ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving29 Sep
  8. 2023WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct18 Aug
  9. 2023Scaling Relationship on Learning Mathematical Reasoning with Large Language Models3 Aug

Other references · 31

  1. 2017Proximal Policy Optimization Algorithmscited by 14,441
  2. 2021Training Verifiers to Solve Math Word Problemscited by 9,743
  3. 2025Qwen3 Technical Reportcited by 8,195
  4. 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,203
  5. 2023Toolformer: Language Models Can Teach Themselves to Use Toolscited by 4,072
  6. 2025DAPO: An Open-Source LLM Reinforcement Learning System at Scalecited by 2,678
  7. 2024HybridFlow: A Flexible and Efficient RLHF Frameworkcited by 1,980
  8. 2025s1: Simple test-time scalingcited by 1,311
  9. 2024OpenAI o1 System Cardcited by 1,220
  10. 2022Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Taskscited by 1,057
  11. 2024Tulu 3: Pushing Frontiers in Open Language Model Post-Trainingcited by 988
  12. 2023Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotationscited by 895
19 more
  1. 2023CRITIC: Large Language Models Can Self-Correct with Tool-Interactive Critiquingcited by 751
  2. 2022Towards Reasoning in Large Language Models: A Surveycited by 593
  3. 2025Search-o1: Agentic Search-Enhanced Large Reasoning Modelscited by 423
  4. 2025ReTool: Reinforcement Learning for Strategic Tool Use in LLMscited by 377
  5. 2025R1-Searcher: Incentivizing the Search Capability in LLMs via Reinforcement Learningcited by 322
  6. 2025Towards Large Reasoning Models: A Survey of Reinforced Reasoning with Large Language Modelscited by 291
  7. 2024DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Datacited by 225
  8. 2024Multi-Step Reasoning with Large Language Models, a Surveycited by 140
  9. 2025Acting Less is Reasoning More! Teaching Model to Act Efficientlycited by 80
  10. 2025An Empirical Study on Eliciting and Improving R1-like Reasoning Modelscited by 78
  11. 2024o1-Coder: an o1 Replication for Codingcited by 77
  12. 2024A Comparative Study on Reasoning Patterns of OpenAI's o1 Modelcited by 62
  13. 2025Agent RL Scaling Law: Agent RL with Spontaneous Code Execution for Mathematical Problem Solvingcited by 62
  14. 2025TreePO: Bridging the Gap of Policy Optimization and Efficacy and Inference Efficiency with Heuristic Tree-based Modelingcited by 60
  15. 2025START: Self-taught Reasoner with Toolscited by 47
  16. 2025Can Large Language Models Detect Errors in Long Chain-of-Thought Reasoning?cited by 43
  17. 2025To Code or not to Code? Adaptive Tool Integration for Math Language Models via Expectation-Maximizationcited by 25
  18. 2025Knapsack RL: Unlocking Exploration of LLMs via Optimizing Budget Allocationcited by 21
  19. 2023When Graph Data Meets Multimodal: A New Paradigm for Graph Understanding and Reasoningcited by 2

Built on by

Cited by year (2026 to 7 Oct)

Citing papers per year: 2026: 5.

5 papers.

Similar, not cited

Close in wording, no citation either way

  1. 2025CoRT: Code-integrated Reasoning within Thinking
  2. 2025Code-enabled language models can outperform reasoning models on diverse tasks
  3. 2025ReasonBridge: Efficient Reasoning Transfer from Closed to Open-Source Language Models
  4. 2025Stop Overthinking: A Survey on Efficient Reasoning for Large Language Models
  5. 2026HintMR: Eliciting Stronger Mathematical Reasoning in Small Language Models
  6. 2026Think Multilingual, Not Harder: A Data-Efficient Framework for Teaching Reasoning Models to Code-Switch
  7. 2026Exploring Extrinsic and Intrinsic Properties for Effective Reasoning with Code Interpreter
  8. 2025Efficient Inference for Large Reasoning Models: A Survey