mlsanityData to 7 Oct 2026

To Backtrack or Not to Backtrack: When Sequential Search Limits Model Reasoning

arXiv 2504.07052 ↗First posted 9 Apr 2025cs.LGcited by 24

On the map: LLM reasoning → Test-time compute and efficient thinking

Abstract (arXiv)

Recent advancements in large language models (LLMs) have significantly improved their reasoning abilities, particularly through techniques involving search and backtracking. Backtracking naturally scales test-time compute by enabling sequential, linearized exploration via long chain-of-thought (CoT) generation. However, this is not the only strategy for scaling test time-compute: parallel sampling with best-of-N selection provides an alternative that generates diverse solutions simultaneously. Despite the growing adoption of sequential search, its advantages over parallel sampling-especially under a fixed compute budget-remain poorly understood. In this paper, we systematically compare these two approaches on two challenging reasoning tasks: CountDown and Sudoku. Surprisingly, we find that sequential search underperforms parallel sampling on CountDown but outperforms it on Sudoku, suggesting that backtracking is not universally beneficial. We identify two factors that can cause backtracking to degrade performance: (1) training on fixed search traces can lock models intro suboptimal strategies, and (2) explicit CoT supervision can discourage implicit (non verbalized) reasoning. Extending our analysis to reinforcement learning (RL), we show that models with backtracking capabilities benefit significantly from RL fine-tuning, while models without backtracking see limited, mixed gains. Together, these findings challenge the assumption that backtracking universally enhances LLM reasoning, instead revealing a complex interaction between task structure, training data, model scale, and learning paradigm.

Key facts. Cited by 24 papers in the map (data through 7 Oct 2026). Placed in Test-time compute and efficient thinking, one of 17 directions in LLM reasoning. Builds on 39 of its 46 references that are in the map. First posted on arXiv 9 Apr 2025.

Builds on

39 of 46 references.

Closest ancestors · 13

Same direction, newest first

  1. 2025s1: Simple test-time scaling31 Jan
  2. 2025T1: Advancing Language Model Reasoning through Reinforcement Learning and Inference Scaling20 Jan
  3. 2025Evolving Deeper LLM Thinking17 Jan
  4. 2024Training Language Models to Self-Correct via Reinforcement Learning19 Sep
  5. 2024Inference Scaling Laws: An Empirical Analysis of Compute-Optimal Inference for Problem-Solving with Language Models1 Aug
  6. 2024Small Language Models Need Strong Verifiers to Self-Correct Reasoning26 Apr
  7. 2024Stream of Search (SoS): Learning to Search in Language1 Apr
  8. 2023Shepherd: A Critic for Language Model Generation8 Aug
  9. 2023Tree of Thoughts: Deliberate Problem Solving with Large Language Models17 May
  10. 2023Large Language Model Guided Tree-of-Thought15 May
  11. 2023Self-Evaluation Guided Beam Search for Reasoning1 May
  12. 2023REFINER: Reasoning Feedback on Intermediate Representations4 Apr
1 more
  1. 2022STaR: Bootstrapping Reasoning With Reasoning28 Mar

Other references · 26

  1. 2024DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Modelscited by 8,851
  2. 2025DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learningcited by 6,146
  3. 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,203
  4. 2021RoFormer: Enhanced Transformer with Rotary Position Embeddingcited by 4,581
  5. 2023Let's Verify Step by Stepcited by 3,598
  6. 2023GQA: Training Generalized Multi-Query Transformer Models from Multi-Head Checkpointscited by 1,311
  7. 2024Large Language Monkeys: Scaling Inference Compute with Repeated Samplingcited by 946
  8. 2023Language Agent Tree Search Unifies Reasoning Acting and Planning in Language Modelscited by 551
  9. 2024Improve Mathematical Reasoning in Language Models by Automated Process Supervisioncited by 426
  10. 2025Cognitive Behaviors that Enable Self-Improving Reasoners, or, Four Habits of Highly Effective STaRscited by 373
  11. 2022Self-critiquing models for assisting human evaluatorscited by 372
  12. 2022Generating Sequences by Learning to Self-Correctcited by 271
14 more
  1. 2024DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Datacited by 225
  2. 2023Planning with Large Language Models for Code Generationcited by 179
  3. 2024VinePPO: Refining Credit Assignment in RL Training of LLMscited by 168
  4. 2024Recursive Introspection: Teaching Language Model Agents How to Self-Improvecited by 162
  5. 2023Platypus: Quick, Cheap, and Powerful Refinement of LLMscited by 150
  6. 2023Retroformer: Retrospective Large Language Agents with Policy Gradient Optimizationcited by 110
  7. 2024Critique-out-Loud Reward Modelscited by 105
  8. 2023RL4F: Generating Natural Language Feedback with Reinforcement Learning for Repairing Model Outputscited by 104
  9. 2024GLoRe: When, Where, and How to Improve LLM Reasoning via Global and Local Refinementscited by 101
  10. 2023Don't throw away your value model! Generating more preferable text with Value-Guided Monte-Carlo Tree Search decodingcited by 59
  11. 2023Rewarding Chatbots for Real-World Engagement with Millions of Userscited by 58
  12. 2023KCTS: Knowledge-Constrained Tree Search Decoding with Token-Level Hallucination Detectioncited by 43
  13. 2024A Simple Model of Inference Scaling Lawscited by 36
  14. 2024Causal Language Modeling Can Elicit Search and Reasoning Capabilities on Logic Puzzlescited by 35

Built on by

Cited by year (2026 to 7 Oct)

Citing papers per year: 2025: 11; 2026: 13.

24 papers.

Sort:

By area:

  1. 2025Position: Stop Anthropomorphizing Intermediate Tokens as Reasoning/Thinking Traces!cited by 36
  2. 2025Scaling Offline RL via Efficient and Expressive Shortcut Modelscited by 27
  3. 2025Cognitive Foundations for Reasoning and Their Manifestation in LLMscited by 26
  4. 2025How Much Backtracking is Enough? Exploring the Interplay of SFT and RL in Enhancing LLM Reasoningcited by 13
  5. 2025The Geometry of Self-Verification in a Task-Specific Reasoning Modelcited by 12
  6. 2025RoT: Enhancing Table Reasoning with Iterative Row-Wise Traversalscited by 10
  7. 2025Decomposing Elements of Problem Solving: What "Math" Does RL Teach?cited by 10
  8. 2025Trust but Verify! A Survey on Verification Design for Test-time Scalingcited by 8
  9. 2025MedReflect: Teaching Medical LLMs to Self-Improve via Reflective Correctioncited by 8
  10. 2025Towards Stable and Effective Reinforcement Learning for Mixture-of-Expertscited by 6
  11. 2026Improving Sampling for Masked Diffusion Models via Information Gaincited by 6
  12. 2025RAST: Reasoning Activation in LLMs via Small-model Transfercited by 5
12 more
  1. 2026Measuring Weak-to-Strong Legibility of Reasoning Modelscited by 5
  2. 2026From Reasoning Traces to Reusable Modules: Understanding Compositional Generalization in Language Model Reasoningcited by 3
  3. 2026DOS: Dependency-Oriented Sampler for Masked Diffusion Language Modelscited by 2
  4. 2026More Bang for the Buck: Improving the Inference of Large Language Models at a Fixed Budget using Reset and Discard (ReD)cited by 1
  5. 2026Asking the Right Questions: Improving Reasoning with Generated Stepping Stonescited by 1
  6. 2026Mind the Gap Between Spatial Reasoning and Acting! Step-by-Step Evaluation of Agents With Spatial-Gymcited by 1
  7. 2026Conformal Certification of Reasoning Trace Prefixescited by 1
  8. 2026Metacognitive Behavioral Tuning of Large Language Models for Multi-Hop Question Answeringcited by 0
  9. 2026Learning the ARTS of Search for Automated Discoverycited by 0
  10. 2026Provable Benefits of RLVR over SFT for Reasoning Models: Learning to Backtrack Efficientlycited by 0
  11. 2026Search, Fail, Recover: A Training Framework for Correction-Aware Reasoningcited by 0
  12. 2026A Taxonomy of Cognitive Capability Gaps in Generative and Agentic AIcited by 0

Similar, not cited

Close in wording, no citation either way

  1. 2025Step Back to Leap Forward: Self-Backtracking for Boosting Reasoning of Language Models
  2. 2026Beyond the Frontier: Stochastic Backtracking for Efficient Test-Time Scaling
  3. 2026Towards Better Exploration in Sequential Test-Time Scaling
  4. 2026Test-Time Scaling with Diffusion Language Models via Reward-Guided Stitching
  5. 2026Not Too Hard, Not Too Easy: Learning from Intermediate States for LLM Structured Reasoning
  6. 2026Backtracking When It Strays: Mitigating Dual Exposure Biases in LLM Reasoning Distillation
  7. 2025Adaptive Test-Time Reasoning via Reward-Guided Dual-Phase Search
  8. 2025RL for Reasoning by Adaptively Revealing Rationales