Why do reasoning models abandon promising solution paths?
Explores whether reasoning models fail because they think insufficiently or because they structurally misorganize their thinking. Challenges the assumption that longer reasoning traces automatically improve performance.
The dominant narrative about reasoning models: they think step by step, explore the solution space, and arrive at answers through deliberation. The reality: they wander.
The formalization. Systematic exploration requires three properties: validity (following legal transitions), effectiveness (reaching goals), and necessity (no wasted states). Current reasoning LLMs fail all three. A model performing DFS on a binary tree of depth d with branch-omission probability pw sees success drop exponentially: problems that look tractable at depth 5 become impossible at depth 15.
The complementary failure. Separately, o1-like models exhibit "underthinking" — not too little total reasoning, but too little depth per reasoning thread. The model starts down a promising path, encounters difficulty, switches to another approach, encounters difficulty there, switches again. The result is a long trace (many tokens) with shallow exploration (insufficient depth on any single path).
Why both matter together. Wandering and underthinking are not the same failure mode, but they reinforce each other. A model that switches approaches prematurely (underthinking) generates more abandoned branches to wander between (wandering). More compute doesn't fix either — a wandering model given more tokens wanders more extensively, and an underthinking model given more tokens switches more frequently.
The practical fix is surprising. TIP (Thought-switching Penalty) is a pure decoding strategy that penalizes tokens signaling thought transitions. It improves accuracy without fine-tuning — just by encouraging the model to stay on its current path longer. The implication: the model often had a viable path and abandoned it prematurely. The answer was reachable from the original approach.
This reframes the entire "scale inference compute" research program. The bottleneck is not how much the model thinks — it is how it structures its thinking. A tourist visiting more landmarks is not the same as a scientist following a hypothesis to its conclusion.
Supporting material:
Inquiring lines that read this note 284
This note is a source for these research framings, grouped by the broader line of inquiry each explores. Scan the bold lines of inquiry; follow any specific question forward.
What causes foundation models to develop task heuristics instead of understanding?- Why do foundation models develop heuristics instead of world models?
- Can surface heuristics override implicit constraints in domain-specific reasoning?
- How do unstated feasibility constraints affect model decision-making?
- Can explicit constraint statements override the dominance of surface heuristics?
- Why do models fail on logically equivalent tasks with different data distributions?
- How do foundation models develop task-specific heuristics instead of world models?
- Why do foundation models develop task-specific heuristics instead of causal understanding?
- Why do good algorithms become rarer as the search space grows more generic?
- When does knowledge activation fail across different model architectures?
- Why does inference-time thinking hurt proactive critical thinking in vanilla models?
- Does this reasoning steering method work consistently across all model sizes?
- Can structured workflows unlock latent reasoning abilities that raw models don't show?
- Why does step-by-step reasoning fail when tool outputs get very large?
- Do tool-enabled reasoning models close the gap on constraint satisfaction?
- Why do reasoning models fail on structurally unfamiliar instances?
- Why do models automatically adjust reasoning length to problem difficulty?
- What triggers overthinking versus underthinking in reasoning models?
- How do failed branches remain in context and contaminate subsequent reasoning?
- How does reasoning instability prevent models from modeling individuals?
- Why do simple math problems get worse with longer reasoning chains?
- Does reasoning structure match explicit versus implicit task demands?
- Do reasoning models overthink ill-posed questions instead of recognizing incompleteness?
- Why do reasoning models verbalize reasoning shortcuts less than necessary?
- Why do some reasoning models fail to detect redundancy in concurrent coordination?
- Why do reasoning models fail when input length increases even below context limits?
- Why do reasoning models confidently generate wrong answers instead of abstaining?
- Do base models and reasoning models fail in opposite directions on uncertainty?
- Can explicit optimal algorithms prevent reasoning model collapse at high complexity?
- Why do reasoning models wander instead of searching systematically?
- Is the reasoning cliff actually a tool-use problem?
- Why do difficult problems force models to develop reasoning strategies?
- Why do models overthink underspecified problems instead of rejecting them?
- Why do reasoning models fail at learning hidden rules from sparse exceptions?
- Can reasoning models succeed at logic but fail at execution?
- Do reasoning failures stem from strategy or from calculation breakdown?
- Do reasoning models switch approaches when encountering local difficulty?
- What mechanisms cause reasoning models to wander rather than focus?
- How do single wrong steps corrupt entire reasoning chains?
- Why do reasoning model failures stem from execution rather than reasoning?
- What failure modes emerge when scheme classification feeds downstream reasoning pipelines?
- What causes reasoning quality to degrade during long research tasks?
- What limits external scaling when a model lacks reasoning foundation?
- Why does single-shot learning fail in REVTHINK's multi-source reasoning tasks?
- Is reasoning failure caused by task complexity or training distribution gaps?
- What role do cyclic fixed points play in stable reasoning?
- Why does convergence stability sometimes mislead about reasoning correctness?
- Why do epistemic failure modes cluster around world model limitations?
- Can outcome-focused objectives explain failures in reasoning evaluation?
- How does instance novelty rather than chain length explain reasoning failure?
- Why does reasoning performance degrade as input length increases?
- Do reasoning-enabled and prompt-hardened conditions show the same architectural penalty?
- Why do unresolved items cluster in structured patterns rather than randomly?
- Why do structured reasoning representations sometimes reduce rather than improve error detection?
- Do tool-use capabilities actually help models recover from errors in reasoning?
- Can corrupted reasoning traces be reliably distinguished from correct ones?
- Are correct reasoning traces measurably shorter than incorrect ones?
- Why do correct reasoning traces appear shorter than incorrect ones?
- Can reasoning traces prove models are actually reasoning versus mimicking?
- How do planning and backtracking sentences control reasoning traces?
- Why do shorter correct reasoning traces contain fewer failed branches?
- Can removing failed branches from edited traces improve previous mistakes?
- Why are correct reasoning traces consistently shorter than incorrect ones?
- Can reasoning traces serve purposes beyond producing the final answer itself?
- Why do temporal reasoning patterns matter more than final answers?
- What saliency patterns distinguish successful from failed chain-of-thought reasoning?
- Does reasoning trace style explain why RL post-training improves model reasoning?
- Do shorter reasoning traces actually produce more reliable model outputs?
- Why do correct reasoning traces tend to be shorter than incorrect ones?
- Can deliberate corruption of reasoning traces harm out of distribution generalization?
- Why do reasoning models produce unfaithful or unhelpful reasoning traces?
- How does extended thinking affect variance in reasoning model outputs?
- Do correct reasoning traces tend to be shorter than incorrect ones?
- Why does failed step fraction predict reasoning quality better than trace length?
- Why do correct reasoning traces stay shorter than incorrect ones?
- Why are incorrect reasoning traces longer than correct ones?
- What role do local backtracking steps play in reasoning traces?
- Why do wrong numbers cost less accuracy than shuffled reasoning steps?
- How much of a reasoning trace is actually redundant or unnecessary?
- How can reasoning quality be verified before integrating new information into a reasoning graph?
- Do linearized traces genuinely expand exploration beyond standard chain-of-thought?
- What distinguishes genuine capability gains from coherent but invalid reasoning traces?
- Why do reasoning traces persuade users without improving their accuracy?
- What makes a thinking trace take information shortcuts?
- Why do shorter confident reasoning traces fail on out-of-distribution problems?
- What makes reasoning traces effective or ineffective for solving problems?
- How does confidence filtering improve selection of reasoning traces?
- Why are shorter reasoning traces more reliable than longer correct ones?
- Why do reasoning traces fail to accurately reflect model decision-making?
- Can flow concentration in reasoning traces predict model quality better than tokens?
- Why do deliberately corrupted reasoning traces sometimes generalize better than correct ones?
- How do reasoning traces serve as hypotheses about decision processes?
- Can reasoning traces that feel convincing fail to help people predict behavior?
- What causes reasoning loops and distraction in models with very long traces?
- Why do reasoning traces improve answer acceptance without improving task performance?
- Why do reasoning traces that help AI models hurt human problem solvers?
- Why do single examples trigger large reasoning improvements in models?
- How does the functional separation of knowledge and reasoning affect adaptation methods?
- Do knowledge access methods like search improve reasoning or just coverage?
- Does reasoning quality matter equally across different types of tasks and use cases?
- Can penalizing reasoning transitions fix underthinking without fine-tuning models?
- How does critique fine-tuning on one problem unlock broader reasoning?
- Why does fine-tuning degrade reasoning quality even as accuracy improves?
- Why does fine-tuning sometimes damage chain-of-thought reasoning even when accuracy improves?
- Can explicit rejection responses solve the over-specialization failure mode?
- Do higher asymptote recipes unlock genuinely novel reasoning strategies?
- Why does reasoning fine-tuning reduce a model's ability to abstain?
- Does penalizing thought transitions improve reasoning without model retraining?
- Can training models on backward reasoning improve their forward planning ability?
- Why does reasoning backward enable better forward reasoning performance?
- Why does stronger reasoning reduce model compliance with instructions?
- Can reasoning improvements be attributed when optimizer and scaffold are unknown?
- Why do more capable reasoning models become harder to control by instruction?
- Can reflection in reasoning models be corrective rather than just confirmatory?
- How do self-revisions degrade reasoning accuracy in extended traces?
- Why does most refinement in iterative models maintain answers rather than improve them?
- Why does self-revision degrade reasoning accuracy in o1-like models?
- Why does iterative refinement amplify rather than correct reasoning errors?
- Why do reasoning models struggle with self-evaluation and revision?
- When does self-reflection actually help reasoning models improve?
- Why does reflection in reasoning models stay confirmatory instead of corrective?
- Why does revision often make reasoning accuracy worse in frontier models?
- Why does reflection in reasoning models tend to be confirmatory rather than corrective?
- Why does reflection in reasoning models confirm rather than correct initial directions?
- Why does reflection in reasoning models mostly confirm the first answer?
- Why does reflection in reasoning models rarely overturn initial answers?
- Can step-level deliberation flags guide other reasoning systems?
- Why does chain-of-thought fail when problems lack matching training schemata?
- How do chain-of-thought structures affect reasoning robustness?
- Why does step-by-step reasoning degrade performance on judgment-based tasks?
- Why do longer reasoning chains signal hesitation rather than depth?
- How do longer reasoning chains create vulnerability to attacks?
- Why do verbalized reasoning chains fail on certain problem classes?
- Why do longer reasoning chains correlate with lower accuracy in o1-like models?
- Why do some reasoning steps receive negligible attention from later steps?
- When is detailed step-by-step reasoning actually counterproductive for solving a problem?
- How does backtracking capability address error compounding in chain-of-thought reasoning?
- Why does extended chain-of-thought reasoning fail to improve numerical optimization performance?
- Why do reasoning models fail to improve constrained optimization performance?
- How does making implicit reasoning requirements explicit change model performance?
- Why does per-step deliberation lose global perspective compared to dynamic discovery?
- Why might chain-of-thought reasoning bypass action selection pathways?
- What makes answer equivalence sufficient to discard a reasoning path?
- Can we detect redundant reasoning steps during model inference instead of training?
- Can indirect and direct reasoning methods be combined to improve results?
- Does adding reasoning to models degrade other capabilities like rule inference?
- How much of chain-of-thought reasoning is actually redundant?
- Why do single-chain length and parallel exploration affect reasoning differently?
- What design principles prevent error cascades in multi-step evaluation systems?
- Why must procedural skills consolidate before strategic reasoning can develop?
- Can subtask-level voting replace sequential revision for improving long-horizon task accuracy?
- How does separating decomposition from execution improve multi-step reasoning?
- Does algorithmic decomposition prevent planning-execution interference in reasoning?
- What planning strategies reduce execution steps without sacrificing solution quality?
- How does planning-before-execution compare to iterative reasoning and action loops?
- Can backward planning reduce search difficulty when multiple goal state paths exist?
- How does early commitment in reasoning differ from early exploitation in planning?
- What architectural properties of deterministic models block multi-solution reasoning?
- How does separating decomposition from execution improve multi-step reasoning accuracy?
- How much does workflow architecture matter versus raw model capability?
- How should plan length differ between brainstorming and structured research tasks?
- Can graph cyclicity and topology predict when reasoning systems achieve breakthrough insights?
- Why do contrastive reasoning approaches outperform single-path belief evaluation?
- Does architectural design matter more than model scale for reasoning tasks?
- How do graph topology properties like cyclicity and diameter affect reasoning quality?
- Do reasoning systems reuse cognitive structures across unrelated topics?
- Can recursive subtask trees implement tree-of-thought reasoning more efficiently?
- How does graph of thoughts enable divide-and-conquer reasoning patterns?
- What makes multi-paradigm chaining a distinct reasoning topology?
- Why does reasoning graph topology evolve differently across training phases?
- What distinguishes systematic search from wandering exploration in reasoning?
- Can static reasoning patterns work better than dynamic branch selection?
- How do progressive abstraction chains differ from branching reasoning topologies?
- What distinguishes graph-of-thought reasoning from other structured reasoning topologies?
- How does active reasoning through interaction differ from passive single-turn problem solving?
- How does o1-style reasoning relate to learned search processes versus memorized solutions?
- Can a proposer agent actively surface a solver's weaknesses to prevent plateau?
- Do search agents face their own overthinking threshold like reasoning models do?
- What causes the gap between agent reasoning and agent action?
- Can showing alternative paths an agent rejected improve trace comprehension?
- What role does visible agent reasoning play in user mental models?
- What advantages emerge from running 13 times more parallel reasoning chains with the same budget?
- Why do reasoning models reduce effort despite having token budget remaining?
- Why does overthinking degrade performance at extreme recursion depths?
- How does soft thinking compare to sampling multiple independent reasoning paths?
- Why does more inference compute amplify wandering rather than solving it?
- What happens to model reasoning accuracy as thinking token requirements exceed critical thresholds?
- Can diverse critiques on a single problem unlock reasoning without diverse problem sets?
- Why does strategy diversity within reasoning chains improve model generalization?
- Can external verifiers replace reasoning trace quality in solution guarantees?
- Can verification loops and decomposition fix judgment failures?
- What separates verifiable reasoning from open-ended judgment in scaling requirements?
- Why is evaluating solutions easier than generating them for planning problems?
- How does scene-switching prevent cross-problem interference in multi-agent reasoning?
- What makes multi-hypothesis generation better than single-path social reasoning?
- Can multi-agent debate prevent reasoning models from amplifying errors?
- Can routing systems prevent expert models from failing outside their specialty?
- Can routing ever beat model improvement as a performance lever?
- Can evolutionary approaches avoid the overthinking failure mode of iterative refinement?
- Why do isolated evolutionary branches fail to propagate useful discoveries?
- Does parallel sampling avoid failed-branch contamination more than sequential thinking?
- Can parallel independent reasoning outperform sequential iterative refinement?
- Why does extended reasoning fail for search and knowledge retrieval tasks?
- What makes diverse reasoning sources more valuable than deeper single paths?
- Does unrestricted reasoning per search step degrade iterative quality over time?
- What makes multi-turn critique trajectories more effective than single-turn reasoning chains?
- Why do per-turn reasoning caps improve iterative search quality?
- How does mining intermediate reasoning points compare to aggregating separate traces?
- Does more inference compute help reasoning models match specialized domain performance?
- What patterns emerge across test-time scaling and reasoning architectures?
- Can reasoning models outperform non-reasoning models with more inference compute?
- When does explicit reasoning actually degrade performance on a task?
- Do reasoning models perform genuine logical evaluation or pattern matching?
- Does reflection destabilize reasoning in dynamic environments?
- Why do reasoning chains degenerate into undirected exploration at scale?
- Why do larger reasoning models show cyclicity only in later layers?
- Why do reasoning traces resemble mimicry rather than verified problem-solving?
- Can minimal reasoning steps match verbose reasoning accuracy?
- Why do longer reasoning chains explore like tourists instead of scientists?
- Why do thinking models execute longer tasks than standard language models?
- Why does reflection in reasoning models often become theater rather than genuine thought?
- Can tools unlock reasoning strategies that require abstract insight beyond computation?
- When does extended thinking hurt performance on easier problems?
- Does longer reasoning always improve model accuracy on complex tasks?
- Why does chain-of-thought reasoning alone not fix LLM performance with users?
- How does evaluation format change what we measure about model reasoning?
- Why does outcome supervision fail for long reasoning chains?
- What makes a novel research idea practically infeasible for implementation?
- Why do linear research pipelines lose global context across planning and generation steps?
- How should AI ideation systems decompose and recombine research concepts?
- Can prompt engineering improve reasoning or only move requests into denser regions?
- How can prompt intervention reduce redundant reasoning steps dynamically?
- Can operationalizing theory into prompt structure improve reasoning more than theory itself?
- Can completeness scaffolding substitute for actual code execution in reasoning?
- How does RL refine reasoning paths without simply adding model capability?
- Why does RL behavior differ between standard reasoning tasks and complex planning domains?
- When does RL discover genuinely novel reasoning strategies versus timing optimization?
- Why does standard RL cause traces to collapse into redundant reasoning paths?
- What distinguishes coherent reasoning from inaccurate but plausible predictions?
- What changes when reasoning models adopt trajectory-response output formats?
- Why do models skip steps that would make reasoning clearer?
- Does performative reasoning mask underlying uncertainty even on easy problems?
- How can correct explanations coexist with failed applications in AI?
- What distinguishes a logically sound solution from an understood one?
- What debugging behaviors signal that a user has abandoned the coding loop?
- Why do some students restart entire projects instead of debugging incrementally?
- How should benchmarks evaluate workflow architecture versus raw model performance?
- Can benchmark improvements hide degradation of deliberative reasoning?
- Do reasoning benchmarks predict real performance in long delegated workflows?
- How can benchmark accuracy scores mask the absence of interpretable reasoning structure?
- How can process reward models handle branching and revisiting in reasoning traces?
- Why do standard process reward models struggle with branching reasoning traces?
- What happens to iterative search quality when reasoning depth is unconstrained?
- What makes deterministic recursive reasoning models underperform on multi-solution tasks?
- Can removing hierarchy from dual-recurrence models improve reasoning performance?
- Do iterative refinement methods reproduce the same overthinking failure mode?
- Does preference tuning help or hurt the exploration of solution spaces in code?
- What makes frozen model reasoning different from weight-based parameter updates?
Related papers in this collection 8
Papers most semantically related to this note, ranked by cosine similarity in the embedding space.
- Reasoning LLMs are Wandering Solution Explorers
- Meta-Reasoner: Dynamic Guidance for Optimized Inference-time Reasoning in Large Language Models
- Large Language Model Reasoning Failures
- The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens of Problem Complexity
- Large Language Models Think Too Fast To Explore Effectively
- DeepSeek-R1 Thoughtology: Let's think about LLM Reasoning
- A Comment On "The Illusion of Thinking": Reframing the Reasoning Cliff as an Agentic Gap
- Reasoning Can Hurt the Inductive Abilities of Large Language Models
Original note title
the wandering mind — why reasoning models explore like tourists not scientists