Deductive Beam Search: Decoding Deducible Rationale for Chain-of-Thought Reasoning
On the map: LLM reasoning → Reasoning benchmarks and evaluation
Abstract (arXiv)
Recent advancements have significantly augmented the reasoning capabilities of Large Language Models (LLMs) through various methodologies, especially chain-of-thought (CoT) reasoning. However, previous methods fail to address reasoning errors in intermediate steps, leading to accumulative errors. In this paper, we propose Deductive Beam Search (DBS), which seamlessly integrates CoT and deductive reasoning with step-wise beam search for LLMs. Our approach deploys a verifier, verifying the deducibility of a reasoning step and its premises, thus alleviating the error accumulation. Furthermore, we introduce a scalable and labor-free data construction method to amplify our model's verification capabilities. Extensive experiments demonstrate that our approach significantly enhances the base performance of LLMs of various scales (7B, 13B, 70B, and ChatGPT) across 8 reasoning datasets from 3 diverse reasoning genres, including arithmetic, commonsense, and symbolic. Moreover, our analysis proves DBS's capability of detecting diverse and subtle reasoning errors and robustness on different model scales.
Key facts. Cited by 24 papers in the map (data through 7 Oct 2026). Placed in Reasoning benchmarks and evaluation, one of 17 directions in LLM reasoning. Builds on 37 of its 54 references that are in the map. First posted on arXiv 31 Jan 2024.
Builds on
37 of 54 references.
Closest ancestors · 5
Same direction, newest first
- 2023A Closer Look at the Self-Verification Abilities of Large Language Models in Logical Reasoning14 Nov
- 2023Cumulative Reasoning with Large Language Models8 Aug
- 2023Deductive Verification of Chain-of-Thought Reasoning6 Jun
- 2023PaLM 2 Technical Report17 May
- 2022Making Large Language Models Better Reasoners with Step-Aware Verifier6 Jun
Other references · 32
- 2023GPT-4 Technical Reportcited by 18,132
- 2023Llama 2: Open Foundation and Fine-Tuned Chat Modelscited by 12,865
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,302
- 2021Training Verifiers to Solve Math Word Problemscited by 9,743
- 2022Self-Consistency Improves Chain of Thought Reasoning in Language Modelscited by 5,601
- 2022PaLM: Scaling Language Modeling with Pathwayscited by 5,304
- 2023Tree of Thoughts: Deliberate Problem Solving with Large Language Modelscited by 3,155
- 2019The Curious Case of Neural Text Degenerationcited by 2,881
- 2022Emergent Abilities of Large Language Modelscited by 2,483
- 2022Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language modelscited by 1,970
- 2018CommonsenseQA: A Question Answering Challenge Targeting Commonsense Knowledgecited by 1,793
- 2021DeBERTaV3: Improving DeBERTa using ELECTRA-Style Pre-Training with Gradient-Disentangled Embedding Sharingcited by 1,219
20 more
- 2018Hierarchical Neural Story Generationcited by 1,182
- 2023Large Language Models Cannot Self-Correct Reasoning Yetcited by 965
- 2021Are NLP Models really able to Solve Simple Math Word Problems?cited by 861
- 2021Did Aristotle Use a Laptop? A Question Answering Benchmark with Implicit Reasoning Strategiescited by 736
- 2017Program Induction by Rationale Generation : Learning to Solve and Explain Algebraic Word Problemscited by 642
- 2022Decomposed Prompting: A Modular Approach for Solving Complex Taskscited by 554
- 2016Solving General Arithmetic Word Problemscited by 353
- 2023Chain-of-Verification Reduces Hallucination in Large Language Modelscited by 317
- 2023How Language Model Hallucinations Can Snowballcited by 310
- 2022Large Language Models are Better Reasoners with Self-Verificationcited by 304
- 2023Faithful Chain-of-Thought Reasoningcited by 285
- 2023REFINER: Reasoning Feedback on Intermediate Representationscited by 203
- 2023Self-Evaluation Guided Beam Search for Reasoningcited by 195
- 2023SelfCheck: Using LLMs to Zero-Shot Check Their Own Step-by-Step Reasoningcited by 157
- 2022Minimizing the Accumulated Trajectory Error to Improve Dataset Distillationcited by 142
- 2023Large Language Model Is Not a Good Few-shot Information Extractor, but a Good Reranker for Hard Samples!cited by 119
- 2019Causal Reasoning from Meta-reinforcement Learningcited by 53
- 2023Thought Propagation: An Analogical Approach to Complex Reasoning with Large Language Modelscited by 37
- 2023From Google Gemini to OpenAI Q* (Q-Star): A Survey of Reshaping the Generative Artificial Intelligence (AI) Research Landscapecited by 18
- 2018Generalize Symbolic Knowledge With Neural Rule Enginecited by 1
Built on by
Citing papers per year: 2024: 5; 2025: 14; 2026: 5.
24 papers.
Sort:
By area:
- 2024Toward Self-Improvement of LLMs via Imagination, Searching, and Criticizingcited by 123
- 2025AgentGym-RL: Training LLM Agents for Long-Horizon Decision Making through Multi-Turn Reinforcement Learningcited by 68
- 2025Evaluating Step-by-step Reasoning Traces: A Surveycited by 62
- 2025Theoretical Benefit and Limitation of Diffusion Language Modelcited by 46
- 2024How Easily do Irrelevant Inputs Skew the Responses of Large Language Models?cited by 44
- 2024LiteSearch: Efficacious Tree Search for LLMcited by 30
- 2025Thinking Machines: A Survey of LLM based Reasoning Strategiescited by 25
- 2025Premise-Augmented Reasoning Chains Improve Error Identification in Math reasoning with LLMscited by 22
- 2024Revealing the Barriers of Language Agents in Planningcited by 20
- 2025Don't Get Lost in the Trees: Streamlining LLM Reasoning by Overcoming Tree Search Exploration Pitfallscited by 13
- 2025A Survey on Feedback-based Multi-step Reasoning for Large Language Models on Mathematicscited by 11
- 2026Video Models Can Reason with Verifiable Rewardscited by 8
12 more
- 2025Reflection-Window Decoding: Text Generation with Selective Refinementcited by 7
- 2025Enhancing Large Language Model Reasoning with Reward Models: An Analytical Surveycited by 7
- 2025Unraveling Misinformation Propagation in LLM Reasoningcited by 6
- 2025Beyond In-Distribution Success: Scaling Curves of CoT Granularity for Language Model Generalizationcited by 5
- 2026Learning Adaptive Reasoning Paths for Efficient Visual Reasoningcited by 5
- 2025Stepwise Informativeness Search for Efficient and Effective LLM Reasoningcited by 4
- 2025Towards Reasoning for PDE Foundation Models: A Reward-Model-Driven Inference-Time-Scaling Algorithmcited by 3
- 2024Pyramid-Driven Alignment: Pyramid Principle Guided Integration of Large Language Models and Knowledge Graphscited by 2
- 2026Think Twice Before You Write -- an Entropy-based Decoding Strategy to Enhance LLM Reasoningcited by 1
- 2025CoVeR: Conformal Calibration for Versatile and Reliable Autoregressive Next-Token Predictioncited by 0
- 2026Beyond Tokens: A Survey on Decoding Methods for Large Language and Vision-Language Modelscited by 0
- 2026Provable Test-Time Scaling for Beam Search in LLM Reasoningcited by 0
- 2026Provable Test-Time Scaling for Beam Search in LLM Reasoning29 Sep 2026
- 2026Beyond Tokens: A Survey on Decoding Methods for Large Language and Vision-Language Models14 Aug 2026
- 2026Video Models Can Reason with Verifiable Rewards14 May 2026
- 2026Learning Adaptive Reasoning Paths for Efficient Visual Reasoning16 Apr 2026
- 2026Think Twice Before You Write -- an Entropy-based Decoding Strategy to Enhance LLM Reasoning10 Mar 2026
- 2025Enhancing Large Language Model Reasoning with Reward Models: An Analytical Survey2 Oct 2025
- 2025AgentGym-RL: Training LLM Agents for Long-Horizon Decision Making through Multi-Turn Reinforcement Learning10 Sep 2025
- 2025CoVeR: Conformal Calibration for Versatile and Reliable Autoregressive Next-Token Prediction5 Sep 2025
- 2025Towards Reasoning for PDE Foundation Models: A Reward-Model-Driven Inference-Time-Scaling Algorithm2 Sep 2025
- 2025Unraveling Misinformation Propagation in LLM Reasoning24 May 2025
- 2025Thinking Machines: A Survey of LLM based Reasoning Strategies13 Mar 2025
- 2025Beyond In-Distribution Success: Scaling Curves of CoT Granularity for Language Model Generalization25 Feb 2025
12 more
- 2025Stepwise Informativeness Search for Efficient and Effective LLM Reasoning21 Feb 2025
- 2025A Survey on Feedback-based Multi-step Reasoning for Large Language Models on Mathematics20 Feb 2025
- 2025Evaluating Step-by-step Reasoning Traces: A Survey17 Feb 2025
- 2025Don't Get Lost in the Trees: Streamlining LLM Reasoning by Overcoming Tree Search Exploration Pitfalls16 Feb 2025
- 2025Theoretical Benefit and Limitation of Diffusion Language Model13 Feb 2025
- 2025Reflection-Window Decoding: Text Generation with Selective Refinement5 Feb 2025
- 2025Premise-Augmented Reasoning Chains Improve Error Identification in Math reasoning with LLMs4 Feb 2025
- 2024Revealing the Barriers of Language Agents in Planning16 Oct 2024
- 2024Pyramid-Driven Alignment: Pyramid Principle Guided Integration of Large Language Models and Knowledge Graphs16 Oct 2024
- 2024LiteSearch: Efficacious Tree Search for LLM29 Jun 2024
- 2024Toward Self-Improvement of LLMs via Imagination, Searching, and Criticizing18 Apr 2024
- 2024How Easily do Irrelevant Inputs Skew the Responses of Large Language Models?4 Apr 2024
- 2024Toward Self-Improvement of LLMs via Imagination, Searching, and Criticizingcited by 123
- 2025Evaluating Step-by-step Reasoning Traces: A Surveycited by 62
- 2025Thinking Machines: A Survey of LLM based Reasoning Strategiescited by 25
- 2025Premise-Augmented Reasoning Chains Improve Error Identification in Math reasoning with LLMscited by 22
- 2025Don't Get Lost in the Trees: Streamlining LLM Reasoning by Overcoming Tree Search Exploration Pitfallscited by 13
- 2025A Survey on Feedback-based Multi-step Reasoning for Large Language Models on Mathematicscited by 11
- 2026Video Models Can Reason with Verifiable Rewardscited by 8
- 2025Enhancing Large Language Model Reasoning with Reward Models: An Analytical Surveycited by 7
- 2025Unraveling Misinformation Propagation in LLM Reasoningcited by 6
- 2026Learning Adaptive Reasoning Paths for Efficient Visual Reasoningcited by 5
- 2025Stepwise Informativeness Search for Efficient and Effective LLM Reasoningcited by 4
- 2025Towards Reasoning for PDE Foundation Models: A Reward-Model-Driven Inference-Time-Scaling Algorithmcited by 3
12 most cited of 15 All 15 (JSON)
- 2026Provable Test-Time Scaling for Beam Search in LLM Reasoning29 Sep 2026
- 2026Video Models Can Reason with Verifiable Rewards14 May 2026
- 2026Learning Adaptive Reasoning Paths for Efficient Visual Reasoning16 Apr 2026
- 2026Think Twice Before You Write -- an Entropy-based Decoding Strategy to Enhance LLM Reasoning10 Mar 2026
- 2025Enhancing Large Language Model Reasoning with Reward Models: An Analytical Survey2 Oct 2025
- 2025Towards Reasoning for PDE Foundation Models: A Reward-Model-Driven Inference-Time-Scaling Algorithm2 Sep 2025
- 2025Unraveling Misinformation Propagation in LLM Reasoning24 May 2025
- 2025Thinking Machines: A Survey of LLM based Reasoning Strategies13 Mar 2025
- 2025Stepwise Informativeness Search for Efficient and Effective LLM Reasoning21 Feb 2025
- 2025A Survey on Feedback-based Multi-step Reasoning for Large Language Models on Mathematics20 Feb 2025
- 2025Evaluating Step-by-step Reasoning Traces: A Survey17 Feb 2025
- 2025Don't Get Lost in the Trees: Streamlining LLM Reasoning by Overcoming Tree Search Exploration Pitfalls16 Feb 2025
12 newest of 15 All 15 (JSON)
- 2024How Easily do Irrelevant Inputs Skew the Responses of Large Language Models?cited by 44
- 2024LiteSearch: Efficacious Tree Search for LLMcited by 30
- 2025Reflection-Window Decoding: Text Generation with Selective Refinementcited by 7
- 2025Beyond In-Distribution Success: Scaling Curves of CoT Granularity for Language Model Generalizationcited by 5
- 2025CoVeR: Conformal Calibration for Versatile and Reliable Autoregressive Next-Token Predictioncited by 0
- 2025CoVeR: Conformal Calibration for Versatile and Reliable Autoregressive Next-Token Prediction5 Sep 2025
- 2025Beyond In-Distribution Success: Scaling Curves of CoT Granularity for Language Model Generalization25 Feb 2025
- 2025Reflection-Window Decoding: Text Generation with Selective Refinement5 Feb 2025
- 2024LiteSearch: Efficacious Tree Search for LLM29 Jun 2024
- 2024How Easily do Irrelevant Inputs Skew the Responses of Large Language Models?4 Apr 2024
Similar, not cited
Close in wording, no citation either way
- 2026Beyond Fixed Budgets: Characterizing the Inelasticity and Limitations of Tree-of-Thought Reasoning Strategies
- 2025DeduCE: Deductive Consistency as a Framework to Evaluate LLM Reasoning
- 2024Chain of Preference Optimization: Improving Chain-of-Thought Reasoning in LLMs
- 2024A Chain-of-Thought Is as Strong as Its Weakest Link: A Benchmark for Verifiers of Reasoning Chains
- 2023Chain-of-Thought Hub: A Continuous Effort to Measure Large Language Models' Reasoning Performance
- 2025Logical Reasoning with Outcome Reward Models for Test-Time Scaling
- 2025LLMSR@XLLM25: An Empirical Study of LLM for Structural Reasoning
- 2025Deep Hidden Cognition Facilitates Reliable Chain-of-Thought Reasoning