mlsanityData to 14 Oct 2026

CoRT: Code-integrated Reasoning within Thinking

arXiv 2506.09820 ↗First posted 11 Jun 2025cs.CL cs.AI cs.LGcited by 15

On the map: LLM reasoning → Mathematical reasoning

Abstract (arXiv)

Large Reasoning Models (LRMs) like o1 and DeepSeek-R1 have shown remarkable progress in natural language reasoning with long chain-of-thought (CoT), yet they remain inefficient or inaccurate when handling complex mathematical operations. Addressing these limitations through computational tools (e.g., computation libraries and symbolic solvers) is promising, but it introduces a technical challenge: Code Interpreter (CI) brings external knowledge beyond the model's internal text representations, thus the direct combination is not efficient. This paper introduces CoRT, a post-training framework for teaching LRMs to leverage CI effectively and efficiently. As a first step, we address the data scarcity issue by synthesizing code-integrated reasoning data through Hint-Engineering, which strategically inserts different hints at appropriate positions to optimize LRM-CI interaction. We manually create 30 high-quality samples, upon which we post-train models ranging from 1.5B to 32B parameters, with supervised fine-tuning, rejection fine-tuning and reinforcement learning. Our experimental results demonstrate that Hint-Engineering models achieve 4% and 8% absolute improvements on DeepSeek-R1-Distill-Qwen-32B and DeepSeek-R1-Distill-Qwen-1.5B respectively, across five challenging mathematical reasoning datasets. Furthermore, Hint-Engineering models use about 30% fewer tokens for the 32B model and 50% fewer tokens for the 1.5B model compared with the natural language models. The models and code are available at https://github.com/ChengpengLi1003/CoRT.

Key facts. Cited by 15 papers in the map (data through 14 Oct 2026). Placed in Mathematical reasoning, one of 17 directions in LLM reasoning. Builds on 47 of its 55 references that are in the map. First posted on arXiv 11 Jun 2025.

Builds on

47 of 55 references.

Closest ancestors · 9

Same direction, newest first

  1. 2025LIMO: Less is More for Reasoning5 Feb
  2. 2025rStar-Math: Small LLMs Can Master Math Reasoning with Self-Evolved Deep Thinking8 Jan
  3. 2024TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts3 Jul
  4. 2024Iterative Reasoning Preference Optimization30 Apr
  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 · 38

  1. 2017Attention Is All You Needcited by 60,361
  2. 2017Proximal Policy Optimization Algorithmscited by 15,215
  3. 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,459
  4. 2021Training Verifiers to Solve Math Word Problemscited by 10,109
  5. 2025DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learningcited by 6,330
  6. 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,371
  7. 2023Let's Verify Step by Stepcited by 3,789
  8. 2024HybridFlow: A Flexible and Efficient RLHF Frameworkcited by 2,057
  9. 2025Understanding R1-Zero-Like Training: A Critical Perspectivecited by 1,345
  10. 2025s1: Simple test-time scalingcited by 1,341
  11. 2025Kimi k1.5: Scaling Reinforcement Learning with LLMscited by 1,210
  12. 2024Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvementcited by 1,090
26 more
  1. 2022Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Taskscited by 1,076
  2. 2024Tulu 3: Pushing Frontiers in Open Language Model Post-Trainingcited by 1,053
  3. 2023Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotationscited by 928
  4. 2023CRITIC: Large Language Models Can Self-Correct with Tool-Interactive Critiquingcited by 783
  5. 2023RAFT: Reward rAnked FineTuning for Generative Foundation Model Alignmentcited by 686
  6. 2022PAL: Program-aided Language Modelscited by 652
  7. 2022Towards Reasoning in Large Language Models: A Surveycited by 596
  8. 2025SimpleRL-Zoo: Investigating and Taming Zero Reinforcement Learning for Open Base Models in the Wildcited by 511
  9. 2025Search-o1: Agentic Search-Enhanced Large Reasoning Modelscited by 433
  10. 2025ReTool: Reinforcement Learning for Strategic Tool Use in LLMscited by 392
  11. 2025R1-Searcher: Incentivizing the Search Capability in LLMs via Reinforcement Learningcited by 336
  12. 2023Towards Revealing the Mystery behind Chain of Thought: A Theoretical Perspectivecited by 294
  13. 2025Towards Large Reasoning Models: A Survey of Reinforced Reasoning with Large Language Modelscited by 293
  14. 2024DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Datacited by 234
  15. 2024Tool Learning with Large Language Models: A Surveycited by 223
  16. 2024Chain of Agents: Large Language Models Collaborating on Long-Context Taskscited by 206
  17. 2024APIGen: Automated Pipeline for Generating Verifiable and Diverse Function-Calling Datasetscited by 198
  18. 2023ReMax: A Simple, Effective, and Efficient Reinforcement Learning Method for Aligning Large Language Modelscited by 187
  19. 2024Multi-Step Reasoning with Large Language Models, a Surveycited by 143
  20. 2024o1-Coder: an o1 Replication for Codingcited by 78
  21. 2025An Empirical Study on Eliciting and Improving R1-like Reasoning Modelscited by 78
  22. 2024Preserving Diversity in Supervised Fine-Tuning of Large Language Modelscited by 70
  23. 2024A Comparative Study on Reasoning Patterns of OpenAI's o1 Modelcited by 63
  24. 2025Agent RL Scaling Law: Agent RL with Spontaneous Code Execution for Mathematical Problem Solvingcited by 62
  25. 2025START: Self-taught Reasoner with Toolscited by 47
  26. 2025Can Large Language Models Detect Errors in Long Chain-of-Thought Reasoning?cited by 44

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2025: 9; 2026: 6.

15 papers.

Sort:

By area:

Similar, not cited

Close in wording, no citation either way

  1. 2025Teaching Language Models to Reason with Tools
  2. 2026Exploring Extrinsic and Intrinsic Properties for Effective Reasoning with Code Interpreter
  3. 2026Teaching Language Models to Think in Code
  4. 2025CodeI/O: Condensing Reasoning Patterns via Code Input-Output Prediction
  5. 2025Code-enabled language models can outperform reasoning models on diverse tasks
  6. 2025R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning
  7. 2026HintMR: Eliciting Stronger Mathematical Reasoning in Small Language Models
  8. 2025Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning