Thought-Level Beam Search for Reasoning
Lijie Yang, Hongyin Luo, Jiawei Zhao, Tri Dao, Ravi Netravali
cs.AI
Submitted: 2026-08-11
Updated: 2026-08-12
Comments: Add the author Jiawei Zhao in Meta Data
Code: https://github.com/Dao-AILab/Gambit
License: http://creativecommons.org/licenses/by-sa/4.0/
The gist: Test-time compute scaling is a primary driver of performance in large reasoning models (LRMs), but extreme inefficiency bounds current approaches, shifting the critical question from how much compute
Terminology
Abstract
Test-time compute scaling is a primary driver of performance in large reasoning models (LRMs), but extreme inefficiency bounds current approaches, shifting the critical question from how much compute to spend, to where to allocate it. We formalize test-time reasoning as a constrained compute allocation problem over partial trajectories. Under a fixed hardware budget, existing paradigms fail to actively allocate the compute to the most promising partial progress: traditional parallel sampling treats traces independently and induces severe memory bottlenecks, while subtractive pruning starves hardware and fails to actively and sufficiently shift the output distribution. To overcome this dichotomy, we introduce Gambit, an inference algorithm that executes thought-level beam search. By periodically pruning unpromising trajectories and immediately branching from high-quality prefixes, Gambit dynamically concentrates compute onto the most promising reasoning traces via a light-weight scorer probing hidden states while maintaining continuous high hardware utilization. Extensive evaluations across multiple models and benchmarks demonstrate that Gambit strictly dominates existing baselines. Under identical hardware constraints, our method yields up to a +6.7% absolute accuracy gain on HMMT-24 and +3.3% on AIME-25 over pruning baselines, delivers >2 times higher throughput on trace completion, and reduces total token consumption by up to 68.5% relative to standard parallel sampling.
Sources
- Phi-4-reasoning Technical Report
- DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning
- Faith and Fate: Limits of Transformers on Compositionality
- Deep Think with Confidence
- Reasoning with Language Model is Planning with World Model
- Language Models (Mostly) Know What They Know
- Large Language Models are Zero-Shot Reasoners
- Evaluating Step-by-step Reasoning Traces: A Survey
- Hidden States as Early Signals: Step-level Trace Evaluation and Pruning for Efficient Test-Time Scaling
- Let's Verify Step by Step
- Teaching Models to Express Their Uncertainty in Words
- s1: Simple test-time scaling
- GPQA: A Graduate-Level Google-Proof Q&A Benchmark
- Large Language Model Reasoning Failures
- Sequence to Sequence Learning with Neural Networks
- Gemma 3 Technical Report
- Qwen3 Technical Report
- Solving math word problems with process- and outcome-based feedback
- Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotations
- Self-Consistency Improves Chain of Thought Reasoning in Language Models
Related papers
- MAVEN-T: Reinforced Heterogeneous Distillation for Real-Time Multi-Agent Trajectory Prediction
- Model Discovery Agent: LLM-assisted Bayesian experiment design for data-efficient discovery of mechanistic world models
- Agents' Last Exam
- The Clinician's Veto: Navigating Trust, Liability, and Uncertainty in Autonomous AI Prescribing
- MindHelper: Closed-Loop Embodied Mental-State Reasoning for Precision Intervention
- Incumbent Advantage: Brand Bias and Cognitive Manipulation Dynamics in LLM Recommendation Systems