REVIEW 30 cited by
Q*: Improving Multi-step Reasoning for LLMs with Deliberative Planning
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
read the original abstract
Large Language Models (LLMs) have demonstrated impressive capability in many natural language tasks. However, the auto-regressive generation process makes LLMs prone to produce errors, hallucinations and inconsistent statements when performing multi-step reasoning. In this paper, by casting multi-step reasoning of LLMs as a heuristic search problem, we aim to alleviate the pathology by introducing Q*, a general, versatile and agile framework for guiding LLMs decoding process with deliberative planning. By learning a plug-and-play Q-value model as heuristic function for estimating expected future rewards, our Q* can effectively guide LLMs to select the most promising next reasoning step without fine-tuning LLMs for the current task, which avoids the significant computational overhead and potential risk of performance degeneration on other tasks. Extensive experiments on GSM8K, MATH and MBPP demonstrate the superiority of our method, contributing to improving the reasoning performance of existing open-source LLMs.
Forward citations
Cited by 30 Pith papers
-
UProp: Investigating the Uncertainty Propagation of LLMs in Multi-Step Agentic Decision-Making
UProp estimates extrinsic uncertainty in multi-step LLM decision-making by approximating pointwise mutual information over trajectory samples, improving AUROC for identifying incorrect agent outputs by 2.3 to 11% over...
-
Reasoning LLMs are Wandering Solution Explorers
Six current reasoning LLMs, including commercial systems, exhibit structured-search failures on verifiable computation tasks and degrade as the solution space grows.
-
Self-Critique Guided Iterative Reasoning for Multi-hop Question Answering
SiGIR trains a language model to decompose multi-hop questions, self-critique each retrieval and reasoning step, and use cumulative self-rewards in a beam search, beating prior methods by up to 14.4 F1 points on MuSiQue.
-
Enhancing Large Language Models with Reward-guided Tree Search for Knowledge Graph Question and Answering
RTSoG combines question decomposition, LLM-reward-guided Monte Carlo Tree Search with a self-critic stop signal, and weighted path stacking to achieve new state-of-the-art KGQA accuracy, though without code or error bars.
-
A Survey on LLM Test-Time Compute via Search: Tasks, LLM Profiling, Search Algorithms, and Relevant Frameworks
A survey that unifies LLM search-based inference frameworks under an MDP-based taxonomy and modular search procedures.
-
HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving
HunyuanProver, a 7B Lean4 prover trained on autoformalized and self-generated tactic data with a coarse-to-fine distance critic, achieves 68.4% on miniF2F-test.
-
Think&Cite: Improving Attributed Text Generation with Self-Guided Tree Search and Progress Reward Modeling
Think&Cite uses self-guided Monte Carlo tree search and progress reward modeling to improve attributed text generation, reporting gains on ASQA, QAMPARI, and ELI5.
-
Progressive Multimodal Reasoning via Active Retrieval
AR-MCTS retrieves per-step multimodal knowledge during tree search and trains a process reward model, improving MLLM reasoning accuracy on three benchmarks by a few points.
-
RAG-Star: Enhancing Deliberative Reasoning with Retrieval Augmented Verification and Refinement
A Monte Carlo tree search reasoning framework where each node is a sub-question and its answer, and retrieval-augmented rewards guide the search toward verifiable answers.
-
Seed-CTS: Unleashing the Power of Tree Search for Superior Performance in Competitive Coding Tasks
Token-level MCTS with CoT prompting lifts Qwen2.5-Coder-32B-Instruct to a 0.351 pass rate on LiveCodeBench-Hard, approaching O1-Mini's pass@1.
-
Engineering Trustworthy Agentic AI for Critical Systems
A survey claiming that agentic AI trustworthiness is a single cross-domain problem and outlining a framework for graded, certifiable assurance.
-
DeepResearch-9K: A Challenging Benchmark Dataset of Deep-Research Agent
A synthetic benchmark of 9,000 multi-hop web-research questions with difficulty tiers and teacher-generated search trajectories, plus an open-source RL training framework that reportedly lets 3B-parameter agents beat ...
-
GPO: Learning from Critical Steps to Improve LLM Reasoning
Guided Pivotal Optimization improves LLM reasoning post-training by resetting rollouts at an advantage-estimated critical step, beating each of five base optimizers on seven benchmarks in 34 of 35 comparisons.
-
Let's Revise Step-by-Step: A Unified Local Search Framework for Code Generation with LLMs
The abstract claims a new local search framework for code generation, but the manuscript body is a different mathematics paper.
-
FreePRM: Training Process Reward Models Without Ground Truth Process Labels
A weakly supervised PRM training method using outcome-only pseudo-labels plus a buffer probability reaches 53.0% F1 on ProcessBench, beating supervised baselines in the paper's comparisons.
-
One Missing Piece for Open-Source Reasoning Models: A Dataset to Mitigate Cold-Starting Short CoT LLMs in RL
A pipeline converts short-CoT LLM outputs into o1-style long chain-of-thought rationales using 1K seed reasoning flows, and SFT on the resulting dataset improves downstream RLVR cold-start.
-
Step-wise Adaptive Integration of Supervised Fine-tuning and Reinforcement Learning for Task-Specific LLMs
SASR dynamically mixes SFT and GRPO training steps using a gradient-norm ratio, and reports improved average accuracy over static SFT-then-RL schedules on GSM8K, MATH, and Knight-and-Knives.
-
Convert Language Model into a Value-based Strategic Planner
straQ* uses an LLM's token logits as Q-values to select emotional support strategies, improving long-term response quality and out-of-domain generalization in experiments.
-
On the Emergence of Thinking in LLMs I: Searching for the Right Intuition
A post-training framework called RLSP, decoupling exploration from correctness rewards, induces backtracking and self-correction in LLMs and improves math reasoning performance.
-
Holistically Guided Monte Carlo Tree Search for Intricate Information Seeking
HG-MCTS guides Monte Carlo tree search with an adaptive checklist and self-generated rewards to improve multi-hop information seeking, claiming better benchmark accuracy.
-
Policy Guided Tree Search for Enhanced LLM Reasoning
PGTS trains a graph-transformer policy via PPO to guide tree search over LLM reasoning steps, reporting improved accuracy and lower token use than chain-of-thought and MCTS baselines.
-
Reason4Rec: Deliberative User Preference Alignment of Large Language Models for Recommendation
An LLM recommender that decomposes preference reasoning into summarization, matching, and prediction steps, trained on review text, improves rating accuracy and explanation quality on Amazon and Yelp benchmarks.
-
Zero-Shot Verification-guided Chain of Thoughts
COT STEP, a zero-shot prompt that forces numbered reasoning steps, enables competitive accuracy and step-level self-verification, but verifier-guided search does not beat self-consistency.
-
Think More, Hallucinate Less: Mitigating Hallucinations via Dual Process of Fast and Slow Thinking
HaluSearch reduces LLM hallucinations by generating responses through MCTS-based tree search with a reward model, outperforming CoT, self-consistency, and best-of-N baselines.
-
Improving Multi-Step Reasoning Abilities of Large Language Models with Direct Advantage Policy Optimization
DAPO trains a step-level value critic and regresses the policy log-ratio to the critic-derived advantage, improving LLM math and code reasoning over the base model on several benchmarks.
-
Bag of Tricks for Inference-time Computation of LLM Reasoning
An empirical study showing that inference-time LLM reasoning methods are highly sensitive to sampling hyperparameters and reward-model choices, with recommended defaults of temperature 0.8 and top-p 0.9.
-
QLASS: Boosting Language Agent Inference via Q-Guided Stepwise Search
QLASS trains a stepwise Q-value model on self-explored trajectories and uses it to guide language agents action by action, outperforming baselines on WebShop, SciWorld, and ALFWorld.
-
Large Language Models for Planning: A Comprehensive and Systematic Survey
A structured survey of LLM planning methods, benchmarks, and interpretability work, organized around a three-way taxonomy.
-
Generalist Virtual Agents: A Survey on Autonomous Agents Across Digital Platforms
A survey that proposes the Generalist Virtual Agent concept and taxonomies for agent environments, tasks, perceptions, actions, models, and evaluation, concluding that real-world-like environments favor human-like int...
-
Building Trustworthy AI: Transparent AI Systems via Large Language Models, Ontologies, and Logical Reasoning (TranspNet)
TranspNet is a proposed neural-symbolic pipeline that uses ontologies, RAG, and ASP to verify and explain LLM outputs, but it provides no empirical validation.
Discussion (0). Continue with ORCID to comment.