A Survey on Large Language Models for Mathematical Reasoning
On the map: LLM reasoning → Mathematical reasoning
Abstract (arXiv)
Mathematical reasoning has long represented one of the most fundamental and challenging frontiers in artificial intelligence research. In recent years, large language models (LLMs) have achieved significant advances in this area. This survey examines the development of mathematical reasoning abilities in LLMs through two high-level cognitive phases: comprehension, where models gain mathematical understanding via diverse pretraining strategies, and answer generation, which has progressed from direct prediction to step-by-step Chain-of-Thought (CoT) reasoning. We review methods for enhancing mathematical reasoning, ranging from training-free prompting to fine-tuning approaches such as supervised fine-tuning and reinforcement learning, and discuss recent work on extended CoT and "test-time scaling". Despite notable progress, fundamental challenges remain in terms of capacity, efficiency, and generalization. To address these issues, we highlight promising research directions, including advanced pretraining and knowledge augmentation techniques, formal reasoning frameworks, and meta-generalization through principled learning paradigms. This survey tries to provide some insights for researchers interested in enhancing reasoning capabilities of LLMs and for those seeking to apply these techniques to other domains.
Key facts. Cited by 52 papers in the map (data through 14 Oct 2026). Placed in Mathematical reasoning, one of 17 directions in LLM reasoning. Builds on 193 of its 246 references that are in the map. First posted on arXiv 10 Jun 2025.
Builds on
193 of 246 references.
Closest ancestors · 39
Same direction, newest first
- 2025LIMO: Less is More for Reasoning5 Feb
- 2025Step-KTO: Optimizing Mathematical Reasoning through Stepwise Binary Feedback18 Jan
- 2025rStar-Math: Small LLMs Can Master Math Reasoning with Self-Evolved Deep Thinking8 Jan
- 2024A Survey of Mathematical Reasoning in the Era of Multimodal Large Language Model: Benchmark, Method & Challenges16 Dec
- 2024GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models7 Oct
- 2024LLaMA-Berry: Pairwise Optimization for O1-like Olympiad-Level Mathematical Reasoning3 Oct
- 2024Step-by-Step Reasoning for Math Problems via Twisted Sequential Monte Carlo2 Oct
- 2024OpenMathInstruct-2: Accelerating AI for Math with Massive Open-Source Instruction Data2 Oct
- 2024Physics of Language Models: Part 2.2, How to Learn From Mistakes on Grade-School Math Problems29 Aug
- 2024Advancing Process Verification for Large Language Models via Tree-Based Preference Learning29 Jun
- 2024Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs26 Jun
- 2024LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Feedback20 Jun
27 more
- 2024JiuZhang3.0: Efficiently Improving Mathematical Reasoning by Training Small Data Synthesis Models23 May
- 2024Metacognitive Capabilities of LLMs: An Exploration in Mathematical Problem Solving20 May
- 2024Iterative Reasoning Preference Optimization30 Apr
- 2024Achieving >97% on GSM8K: Deeply Understanding the Problems Makes LLMs Better Solvers for Math Word Problems23 Apr
- 2024Common 7B Language Models Already Possess Strong Math Capabilities7 Mar
- 2024MathScale: Scaling Instruction Tuning for Mathematical Reasoning5 Mar
- 2024Key-Point-Driven Data Synthesis with its Enhancement on Mathematical Reasoning4 Mar
- 2024GSM-Plus: A Comprehensive Benchmark for Evaluating the Robustness of LLMs as Mathematical Problem Solvers29 Feb
- 2024MATHSENSEI: A Tool-Augmented Large Language Model for Mathematical Reasoning27 Feb
- 2024OpenMathInstruct-1: A 1.8 Million Math Instruction Tuning Dataset15 Feb
- 2024InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning9 Feb
- 2024DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models5 Feb
- 2024Large Language Models for Mathematical Reasoning: Progresses and Challenges31 Jan
- 2024Augmenting Math Word Problems via Iterative Question Composing17 Jan
- 2023TinyGSM: achieving >80% on GSM8k with small language models14 Dec
- 2023Learning From Mistakes Makes LLM Better Reasoner31 Oct
- 2023Llemma: An Open Language Model For Mathematics16 Oct
- 2023OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text10 Oct
- 2023MuggleMath: Assessing the Impact of Query and Response Augmentation on Math Reasoning9 Oct
- 2023Forward-Backward Reasoning in Large Language Models for Mathematical Verification15 Aug
- 2023Evaluating and Improving Tool-Augmented Computation-Intensive Math Reasoning4 Jun
- 2023Learning Multi-Step Reasoning by Solving Arithmetic Tasks2 Jun
- 2023MathPrompter: Mathematical Reasoning using Large Language Models4 Mar
- 2022A Survey of Deep Learning for Mathematical Reasoning20 Dec
- 2022Teaching Algorithmic Reasoning via In-context Learning15 Nov
- 2022Language Models are Multilingual Chain-of-Thought Reasoners6 Oct
- 2022Solving Quantitative Reasoning Problems with Language Models29 Jun
Other references · 154
- 2022Training language models to follow instructions with human feedbackcited by 15,971
- 2017Proximal Policy Optimization Algorithmscited by 15,215
- 2024The Llama 3 Herd of Modelscited by 14,715
- 2023LLaMA: Open and Efficient Foundation Language Modelscited by 14,132
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,459
- 2015Distilling the Knowledge in a Neural Networkcited by 10,324
- 2021Training Verifiers to Solve Math Word Problemscited by 10,109
- 2023Direct Preference Optimization: Your Language Model is Secretly a Reward Modelcited by 8,065
- 2020Measuring Massive Multitask Language Understandingcited by 7,963
- 2022Self-Consistency Improves Chain of Thought Reasoning in Language Modelscited by 5,708
- 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,371
- 2022Large Language Models are Zero-Shot Reasonerscited by 4,374
38 more
- 2017Deep reinforcement learning from human preferencescited by 3,912
- 2023Let's Verify Step by Stepcited by 3,789
- 2022Training a Helpful and Harmless Assistant with Reinforcement Learning from Human Feedbackcited by 3,720
- 2021Program Synthesis with Large Language Modelscited by 3,637
- 2023Self-Refine: Iterative Refinement with Self-Feedbackcited by 3,442
- 2023Tree of Thoughts: Deliberate Problem Solving with Large Language Modelscited by 3,211
- 2025DAPO: An Open-Source LLM Reinforcement Learning System at Scalecited by 2,810
- 2020Learning to summarize from human feedbackcited by 2,588
- 2023A Survey of Large Language Modelscited by 2,576
- 2022Emergent Abilities of Large Language Modelscited by 2,512
- 2023Retrieval-Augmented Generation for Large Language Models: A Surveycited by 2,212
- 2019Fine-Tuning Language Models from Human Preferencescited by 2,150
- 2024Qwen2 Technical Reportcited by 2,120
- 2024Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameterscited by 1,986
- 2023Self-RAG: Learning to Retrieve, Generate, and Critique through Self-Reflectioncited by 1,839
- 2025Search-R1: Training LLMs to Reason and Leverage Search Engines with Reinforcement Learningcited by 1,444
- 2025s1: Simple test-time scalingcited by 1,341
- 2025Kimi k1.5: Scaling Reinforcement Learning with LLMscited by 1,210
- 2024OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problemscited by 1,136
- 2024Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvementcited by 1,090
- 2021A General Language Assistant as a Laboratory for Alignmentcited by 1,055
- 2024Large Language Monkeys: Scaling Inference Compute with Repeated Samplingcited by 991
- 2025Does Reinforcement Learning Really Incentivize Reasoning Capacity in LLMs Beyond the Base Model?cited by 982
- 2024SimPO: Simple Preference Optimization with a Reference-Free Rewardcited by 963
- 2023Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotationscited by 928
- 2023Graph of Thoughts: Solving Elaborate Problems with Large Language Modelscited by 886
- 2021Are NLP Models really able to Solve Simple Math Word Problems?cited by 878
- 2023Reasoning with Language Model is Planning with World Modelcited by 861
- 2023Large Language Models Can Be Easily Distracted by Irrelevant Contextcited by 841
- 2022Automatic Chain of Thought Prompting in Large Language Modelscited by 688
- 2022Large Language Models Can Self-Improvecited by 664
- 2019MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalismscited by 662
- 2022PAL: Program-aided Language Modelscited by 652
- 2017Program Induction by Rationale Generation : Learning to Solve and Explain Algebraic Word Problemscited by 650
- 2023Plan-and-Solve Prompting: Improving Zero-Shot Chain-of-Thought Reasoning by Large Language Modelscited by 560
- 2024Measuring Multimodal Mathematical Reasoning with MATH-Vision Datasetcited by 526
- 2025SimpleRL-Zoo: Investigating and Taming Zero Reinforcement Learning for Open Base Models in the Wildcited by 511
- 2023MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuningcited by 487
50 most cited of 154 All 154 (JSON)
Built on by
Citing papers per year: 2025: 15; 2026: 37.
52 papers.
Sort:
By area:
- 2025Winning Gold at IMO 2025 with a Model-Agnostic Verification-and-Refinement Pipelinecited by 82
- 2025VCRL: Variance-based Curriculum Reinforcement Learning for Large Language Modelscited by 36
- 2025Knapsack RL: Unlocking Exploration of LLMs via Optimizing Budget Allocationcited by 22
- 2026AgentArk: Distilling Multi-Agent Intelligence into a Single LLM Agentcited by 13
- 2025Supervised Reinforcement Learning: From Expert Trajectories to Step-wise Reasoningcited by 11
- 2026Towards Natural Personalization: Evaluating Long-Horizon Preference Following in Personalized User-LLM Interactionscited by 10
- 2026Token-Level LLM Collaboration via FusionRoutecited by 9
- 2026Uncertainty-Aware Clarification in LLM Agents with Information Gaincited by 8
- 2025Thinking Longer, Not Always Smarter: Evaluating LLM Capabilities in Hierarchical Legal Reasoningcited by 7
- 2025RSPO: Risk-Seeking Policy Optimization for Pass@k and Max@k Metrics in Large Language Modelscited by 5
- 2025Teaching Language Models to Reason with Toolscited by 5
- 2026LawThinker: A Deep Research Legal Agent in Dynamic Environmentscited by 4
38 more
- 2026Learning from Your Own Mistakes: Constructing Learnable Micro-Reflective Trajectories for Self-Distillationcited by 4
- 2026SP-Mind: An Autonomous Reasoning Agent for Spatial Proteomics Analysiscited by 4
- 2026FormalRx: Rectify and eXamine Semantic Failures in Autoformalizationcited by 4
- 2025AgentCoMa: A Compositional Benchmark Mixing Commonsense and Mathematical Reasoning in Real-World Scenarioscited by 3
- 2025PISA-Bench: The PISA Index as a Multilingual and Multimodal Metric for the Evaluation of Vision-Language Modelscited by 3
- 2025"To Survive, I Must Defect": Jailbreaking LLMs via the Game-Theory Scenarioscited by 3
- 2026Self-Supervised Bootstrapping of Action-Predictive Embodied Reasoningcited by 3
- 2026Agentic Game Development as a Verifiable Trajectory Data Engine for Scaling World Modelscited by 3
- 2026MMR-GRPO: Accelerating GRPO-Style Training through Diversity-Aware Reward Reweightingcited by 2
- 2026Adaptive Robust Estimator for Multi-Agent Reinforcement Learningcited by 2
- 2026Neuron-Anchored Rule Extraction for Large Language Models via Contrastive Hierarchical Ablationcited by 2
- 2026RAG over Thinking Traces Can Improve Reasoning Taskscited by 2
- 2026Single-Rollout Hidden-State Dynamics for Training-Free RLVR Data Selectioncited by 2
- 2026Harnessing Routing Foresight for Micro-step-level MoE load balancing in RL Post-trainingcited by 2
- 2026Efficient Test-Time Optimization for Multi-Agent Proof Autoformalizationcited by 2
- 2025Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problemscited by 1
- 2025Beyond Token-level Supervision: Unlocking the Potential of Decoding-based Regression via Reinforcement Learningcited by 1
- 2025Constructive Circuit Amplification: Improving Math Reasoning in LLMs via Targeted Sub-Network Updatescited by 1
- 2026TARo: Token-level Adaptive Routing for LLM Test-time Alignmentcited by 1
- 2026SABER-Math: Automated Benchmark for Information Retrieval Evaluation in Mathematicscited by 1
- 2026Hi-TTRL: Regulating Consensus with Hints for Test-Time Reinforcement Learningcited by 1
- 2026MedCalc-R1: Knowledge-Guided Reward Framework for Medical Mathematical Reasoningcited by 1
- 2025PiERN: Token-Level Routing for Integrating High-Precision Computation and Reasoningcited by 0
- 2025SMRC: Aligning Large Language Models with Student Reasoning for Mathematical Error Correctioncited by 0
- 2026Can Large Language Models Solve Engineering Equations? A Systematic Comparison of Direct Prediction and Solver-Assisted Approachescited by 0
- 2026From Implicit to Explicit: Token-Efficient Logical Supervision for Mathematical Reasoning in LLMscited by 0
- 2026From Meta-Thought to Execution: Cognitively Aligned Post-Training for Generalizable and Reliable LLM Reasoningcited by 0
- 2026SSL: Sweet Spot Learning for Differentiated Guidance in Agentic Optimizationcited by 0
- 2026Reliable Use of Lemmas via Eligibility Reasoning and Section-Aware Reinforcement Learningcited by 0
- 2026Large Language Models for Math Education in Low-Resource Languages: A Study in Sinhala and Tamilcited by 0
- 2026RouteGoT: Node-Adaptive Routing for Cost-Efficient Graph of Thoughts Reasoningcited by 0
- 2026Off-Policy Value-Based Reinforcement Learning for Large Language Modelscited by 0
- 2026A Data-Efficient Path to Multilingual LLMs: Language Expansion via Post-training PARAMDelta Integration into Upcycled MoEcited by 0
- 2026ReverseMath: Answer Inversion for Scalable and Verifiable Mathematical Problem Generationcited by 0
- 2026EAPO: Entropy-Driven Adaptive Positive-Negative Sample Weighting for Policy Optimization in Open-Ended QAcited by 0
- 2026CA-BED: Conversation-Aware Bayesian Experimental Designcited by 0
- 2026Benchmarking Large Language Models on Floating-Point Error Classificationcited by 0
- 2026Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematicscited by 0
50 most cited of 52 All 52 (JSON)
- 2026From Atomic to Agentic: Towards Interpretable Evaluation of LLMs' Agentic Mathematical Capabilities27 Aug 2026
- 2026Agentic Game Development as a Verifiable Trajectory Data Engine for Scaling World Models26 Aug 2026
- 2026MedCalc-R1: Knowledge-Guided Reward Framework for Medical Mathematical Reasoning9 Aug 2026
- 2026Hi-TTRL: Regulating Consensus with Hints for Test-Time Reinforcement Learning4 Aug 2026
- 2026Evaluating Large Language Models for Symbolic Security Protocol Analysis22 Jul 2026
- 2026Efficient Test-Time Optimization for Multi-Agent Proof Autoformalization13 Jul 2026
- 2026Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics7 Jul 2026
- 2026FormalRx: Rectify and eXamine Semantic Failures in Autoformalization6 Jul 2026
- 2026Benchmarking Large Language Models on Floating-Point Error Classification30 Jun 2026
- 2026SABER-Math: Automated Benchmark for Information Retrieval Evaluation in Mathematics29 Jun 2026
- 2026SP-Mind: An Autonomous Reasoning Agent for Spatial Proteomics Analysis23 Jun 2026
- 2026Learning from Your Own Mistakes: Constructing Learnable Micro-Reflective Trajectories for Self-Distillation17 Jun 2026
38 more
- 2026Harnessing Routing Foresight for Micro-step-level MoE load balancing in RL Post-training10 Jun 2026
- 2026Uncertainty-Aware Clarification in LLM Agents with Information Gain2 Jun 2026
- 2026CA-BED: Conversation-Aware Bayesian Experimental Design31 May 2026
- 2026Single-Rollout Hidden-State Dynamics for Training-Free RLVR Data Selection27 May 2026
- 2026EAPO: Entropy-Driven Adaptive Positive-Negative Sample Weighting for Policy Optimization in Open-Ended QA27 May 2026
- 2026ReverseMath: Answer Inversion for Scalable and Verifiable Mathematical Problem Generation26 May 2026
- 2026A Data-Efficient Path to Multilingual LLMs: Language Expansion via Post-training PARAMDelta Integration into Upcycled MoE18 May 2026
- 2026RAG over Thinking Traces Can Improve Reasoning Tasks5 May 2026
- 2026Neuron-Anchored Rule Extraction for Large Language Models via Contrastive Hierarchical Ablation4 May 2026
- 2026Off-Policy Value-Based Reinforcement Learning for Large Language Models24 Mar 2026
- 2026Adaptive Robust Estimator for Multi-Agent Reinforcement Learning23 Mar 2026
- 2026TARo: Token-level Adaptive Routing for LLM Test-time Alignment19 Mar 2026
- 2026RouteGoT: Node-Adaptive Routing for Cost-Efficient Graph of Thoughts Reasoning6 Mar 2026
- 2026Towards Natural Personalization: Evaluating Long-Horizon Preference Following in Personalized User-LLM Interactions4 Mar 2026
- 2026Large Language Models for Math Education in Low-Resource Languages: A Study in Sinhala and Tamil16 Feb 2026
- 2026LawThinker: A Deep Research Legal Agent in Dynamic Environments12 Feb 2026
- 2026Self-Supervised Bootstrapping of Action-Predictive Embodied Reasoning9 Feb 2026
- 2026AgentArk: Distilling Multi-Agent Intelligence into a Single LLM Agent3 Feb 2026
- 2026Reliable Use of Lemmas via Eligibility Reasoning and Section-Aware Reinforcement Learning1 Feb 2026
- 2026SSL: Sweet Spot Learning for Differentiated Guidance in Agentic Optimization30 Jan 2026
- 2026From Meta-Thought to Execution: Cognitively Aligned Post-Training for Generalizable and Reliable LLM Reasoning29 Jan 2026
- 2026MMR-GRPO: Accelerating GRPO-Style Training through Diversity-Aware Reward Reweighting14 Jan 2026
- 2026Token-Level LLM Collaboration via FusionRoute8 Jan 2026
- 2026From Implicit to Explicit: Token-Efficient Logical Supervision for Mathematical Reasoning in LLMs7 Jan 2026
- 2026Can Large Language Models Solve Engineering Equations? A Systematic Comparison of Direct Prediction and Solver-Assisted Approaches5 Jan 2026
- 2025Constructive Circuit Amplification: Improving Math Reasoning in LLMs via Targeted Sub-Network Updates18 Dec 2025
- 2025Beyond Token-level Supervision: Unlocking the Potential of Decoding-based Regression via Reinforcement Learning6 Dec 2025
- 2025"To Survive, I Must Defect": Jailbreaking LLMs via the Game-Theory Scenarios20 Nov 2025
- 2025SMRC: Aligning Large Language Models with Student Reasoning for Mathematical Error Correction18 Nov 2025
- 2025Supervised Reinforcement Learning: From Expert Trajectories to Step-wise Reasoning29 Oct 2025
- 2025PISA-Bench: The PISA Index as a Multilingual and Multimodal Metric for the Evaluation of Vision-Language Models27 Oct 2025
- 2025Teaching Language Models to Reason with Tools23 Oct 2025
- 2025Thinking Longer, Not Always Smarter: Evaluating LLM Capabilities in Hierarchical Legal Reasoning9 Oct 2025
- 2025Knapsack RL: Unlocking Exploration of LLMs via Optimizing Budget Allocation30 Sep 2025
- 2025VCRL: Variance-based Curriculum Reinforcement Learning for Large Language Models24 Sep 2025
- 2025PiERN: Token-Level Routing for Integrating High-Precision Computation and Reasoning17 Sep 2025
- 2025AgentCoMa: A Compositional Benchmark Mixing Commonsense and Mathematical Reasoning in Real-World Scenarios27 Aug 2025
- 2025Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems4 Aug 2025
50 newest of 52 All 52 (JSON)
- 2025VCRL: Variance-based Curriculum Reinforcement Learning for Large Language Modelscited by 36
- 2026AgentArk: Distilling Multi-Agent Intelligence into a Single LLM Agentcited by 13
- 2025Supervised Reinforcement Learning: From Expert Trajectories to Step-wise Reasoningcited by 11
- 2025Thinking Longer, Not Always Smarter: Evaluating LLM Capabilities in Hierarchical Legal Reasoningcited by 7
- 2025Teaching Language Models to Reason with Toolscited by 5
- 2026LawThinker: A Deep Research Legal Agent in Dynamic Environmentscited by 4
- 2026Learning from Your Own Mistakes: Constructing Learnable Micro-Reflective Trajectories for Self-Distillationcited by 4
- 2026FormalRx: Rectify and eXamine Semantic Failures in Autoformalizationcited by 4
- 2025AgentCoMa: A Compositional Benchmark Mixing Commonsense and Mathematical Reasoning in Real-World Scenarioscited by 3
- 2025PISA-Bench: The PISA Index as a Multilingual and Multimodal Metric for the Evaluation of Vision-Language Modelscited by 3
- 2026Self-Supervised Bootstrapping of Action-Predictive Embodied Reasoningcited by 3
- 2026MMR-GRPO: Accelerating GRPO-Style Training through Diversity-Aware Reward Reweightingcited by 2
12 most cited of 30 All 30 (JSON)
- 2026From Atomic to Agentic: Towards Interpretable Evaluation of LLMs' Agentic Mathematical Capabilities27 Aug 2026
- 2026MedCalc-R1: Knowledge-Guided Reward Framework for Medical Mathematical Reasoning9 Aug 2026
- 2026Hi-TTRL: Regulating Consensus with Hints for Test-Time Reinforcement Learning4 Aug 2026
- 2026Efficient Test-Time Optimization for Multi-Agent Proof Autoformalization13 Jul 2026
- 2026FormalRx: Rectify and eXamine Semantic Failures in Autoformalization6 Jul 2026
- 2026Learning from Your Own Mistakes: Constructing Learnable Micro-Reflective Trajectories for Self-Distillation17 Jun 2026
- 2026CA-BED: Conversation-Aware Bayesian Experimental Design31 May 2026
- 2026EAPO: Entropy-Driven Adaptive Positive-Negative Sample Weighting for Policy Optimization in Open-Ended QA27 May 2026
- 2026ReverseMath: Answer Inversion for Scalable and Verifiable Mathematical Problem Generation26 May 2026
- 2026Off-Policy Value-Based Reinforcement Learning for Large Language Models24 Mar 2026
- 2026Adaptive Robust Estimator for Multi-Agent Reinforcement Learning23 Mar 2026
- 2026TARo: Token-level Adaptive Routing for LLM Test-time Alignment19 Mar 2026
12 newest of 30 All 30 (JSON)
- 2026Uncertainty-Aware Clarification in LLM Agents with Information Gaincited by 8
- 2026SABER-Math: Automated Benchmark for Information Retrieval Evaluation in Mathematicscited by 1
- 2026SSL: Sweet Spot Learning for Differentiated Guidance in Agentic Optimizationcited by 0
- 2026Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematicscited by 0
- 2026Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics7 Jul 2026
- 2026SABER-Math: Automated Benchmark for Information Retrieval Evaluation in Mathematics29 Jun 2026
- 2026Uncertainty-Aware Clarification in LLM Agents with Information Gain2 Jun 2026
- 2026SSL: Sweet Spot Learning for Differentiated Guidance in Agentic Optimization30 Jan 2026
- 2026RAG over Thinking Traces Can Improve Reasoning Taskscited by 2
- 2026RAG over Thinking Traces Can Improve Reasoning Tasks5 May 2026
- 2025Winning Gold at IMO 2025 with a Model-Agnostic Verification-and-Refinement Pipelinecited by 82
- 2025Knapsack RL: Unlocking Exploration of LLMs via Optimizing Budget Allocationcited by 22
- 2026Towards Natural Personalization: Evaluating Long-Horizon Preference Following in Personalized User-LLM Interactionscited by 10
- 2026Token-Level LLM Collaboration via FusionRoutecited by 9
- 2025RSPO: Risk-Seeking Policy Optimization for Pass@k and Max@k Metrics in Large Language Modelscited by 5
- 2026SP-Mind: An Autonomous Reasoning Agent for Spatial Proteomics Analysiscited by 4
- 2026Single-Rollout Hidden-State Dynamics for Training-Free RLVR Data Selectioncited by 2
- 2025Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problemscited by 1
- 2026Can Large Language Models Solve Engineering Equations? A Systematic Comparison of Direct Prediction and Solver-Assisted Approachescited by 0
- 2026Benchmarking Large Language Models on Floating-Point Error Classificationcited by 0
- 2026Evaluating Large Language Models for Symbolic Security Protocol Analysiscited by 0
- 2026Evaluating Large Language Models for Symbolic Security Protocol Analysis22 Jul 2026
- 2026Benchmarking Large Language Models on Floating-Point Error Classification30 Jun 2026
- 2026SP-Mind: An Autonomous Reasoning Agent for Spatial Proteomics Analysis23 Jun 2026
- 2026Single-Rollout Hidden-State Dynamics for Training-Free RLVR Data Selection27 May 2026
- 2026Towards Natural Personalization: Evaluating Long-Horizon Preference Following in Personalized User-LLM Interactions4 Mar 2026
- 2026Token-Level LLM Collaboration via FusionRoute8 Jan 2026
- 2026Can Large Language Models Solve Engineering Equations? A Systematic Comparison of Direct Prediction and Solver-Assisted Approaches5 Jan 2026
- 2025Knapsack RL: Unlocking Exploration of LLMs via Optimizing Budget Allocation30 Sep 2025
- 2025Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems4 Aug 2025
- 2025RSPO: Risk-Seeking Policy Optimization for Pass@k and Max@k Metrics in Large Language Models2 Aug 2025
- 2025Winning Gold at IMO 2025 with a Model-Agnostic Verification-and-Refinement Pipeline21 Jul 2025
Similar, not cited
Close in wording, no citation either way
- 2026Mathematical Reasoning in Large Language Models: Benchmarks, Architectures, Evaluation, and Open Challenges
- 2024LLM Reasoning Engine: Specialized Training for Enhanced Mathematical Reasoning
- 2024Benchmarking Large Language Models for Math Reasoning Tasks
- 2025A Survey on Mathematical Reasoning and Optimization with Large Language Models
- 2025Large Language Models and Mathematical Reasoning Failures
- 2024From Next-Token to Mathematics: The Learning Dynamics of Mathematical Reasoning in Language Models
- 2024Step Guided Reasoning: Improving Mathematical Reasoning using Guidance Generation and Step Reasoning
- 2025Evaluating Mathematical Reasoning Across Large Language Models: A Fine-Grained Approach