atlas

Research map / Large language models / Agents, code and math

Decompose, Analyze and Rethink: Solving Intricate Problems with Human-like Reasoning Cycle

NeurIPS 2024 · Large language models › Agents, code and math · approach: Inductive and abstract reasoning evaluation · 3 citations (OpenAlex)

Read the paperCheck your idea against 108,967 papers

AI-extracted summary. Written by AI from the paper's full text. Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.

Introduces DeAR, a Decompose-Analyze-Rethink cycle that builds a reasoning tree of sub-questions within a single LLM and updates parent rationales from child feedback, outperforming ToT and GoT on ScienceQA, StrategyQA and GSM8K.

Problem

Rationale-extension and search-based prompting (CoT, ToT, GoT) generate reasoning sequentially without a global view, so early errors propagate and cannot be corrected, and their fixed branching is rigid for intricate reasoning.

Approach

Build a reasoning tree top-down by prompting the LLM to decompose questions into adaptively many sub-questions (with retrieved human-annotated decomposition exemplars), generate and self-check rationales per node, and then rethink by updating ancestor rationales using the coherence-scored child rationales.

Key results

Measured effects reported in the paper

What was changedWhereMeasuredEffect
Use DeAR instead of the strongest reported baselineGPT-3.5 · ScienceQAaccuracy: 82.52 -> 83.68*Helped
Use DeAR instead of the strongest reported baselineLLaMA2-7B · ScienceQAaccuracy: 69.33 -> 70.57*Helped
Use DeAR instead of the strongest reported baselineChatGLM3-6B · ScienceQAaccuracy: 49.23 -> 51.08*Helped
Use DeAR instead of the strongest reported baselineGPT-3.5 · StrategyQAaccuracy: 72.02 -> 73.36*Helped
Use DeAR instead of the strongest reported baselineLLaMA2-7B · StrategyQAaccuracy: 66.61 -> 68.33*Helped
Use DeAR instead of the strongest reported baselineChatGLM3-6B · StrategyQAaccuracy: 61.22 -> 61.02*Hurt
Use DeAR instead of the strongest reported baselineGPT-3.5 · GSM8Kaccuracy: 84.77 -> 86.82*Helped
Use DeAR instead of the strongest reported baselineLLaMA2-7B · GSM8Kaccuracy: 75.28 -> 78.01*Helped
Use DeAR instead of the strongest reported baselineChatGLM3-6B · GSM8Kaccuracy: 56.72 -> 58.54*Helped
Add logic heuristics to decomposition prompts (rather than remove them) (ablation)DeAR with GPT-3.5 · ScienceQAaccuracy: 83.06 -> 83.68Helped
Add logic heuristics to decomposition prompts (rather than remove them) (ablation)DeAR with LLaMA2-7B · ScienceQAaccuracy: 69.85 -> 70.57Helped
Add logic heuristics to decomposition prompts (rather than remove them) (ablation)DeAR with ChatGLM3-6B · ScienceQAaccuracy: 50.17 -> 51.08Helped

Surprising findings

Limitations

Experimental setup

Datasets: ScienceQA StrategyQA GSM8K MATH

Benchmarks: ScienceQA StrategyQA GSM8K MATH

Metrics: accuracy ROSCOE source-consistency ROSCOE reasoning alignment average inference time API calls

Baselines: Few-shot prompting Chain-of-Thought Tree-of-Thoughts Graph-of-Thoughts Least-to-most SelfCheck

Builds on: Tree-of-Thoughts Graph-of-Thoughts Chain-of-Thought Least-to-most prompting SelfCheck

Closest papers by meaning

Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.

Open scime draft

Get the next scime Dispatch and a monthly field update

Free. We send a confirmation link first; every email has a one-click unsubscribe. Privacy