atlas

Research map / Large language models / Reasoning and chain of thought

Thinker: Learning to Think Fast and Slow

NeurIPS 2025 · Large language models › Reasoning and chain of thought · approach: RL with verifiable rewards for reasoning · 0 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.

Proposes the Thinker task, a four-stage RL environment (Fast Thinking, Verification, Slow Thinking, Summarization) with per-stage rewards, and trains Qwen2.5-1.5B and DeepSeek-R1-Distill-Qwen-1.5B with PPO on math QA.

Problem

Standard RL on single-turn QA yields long, redundant, imprecise search with weak intuition and verification, because a single sequence-level advantage credits useless search paths alongside useful ones.

Approach

Decompose the QA task within one dialogue into four stages, each with its own binary/weighted reward isolated from the others (discount 0 across stages), so fast intuition, verification, refinement and summarization are trained explicitly; the fast-thinking mode can be used alone under a 1000-token budget.

Key results

Measured effects reported in the paper

What was changedWhereMeasuredEffect
Replace standard QA training with the four-stage Thinker taskQwen2.5-1.5B · Average across eight math benchmarksPass@1 accuracy (%): 25.62 -> 27.33Helped
Replace standard QA training with the four-stage Thinker taskDeepSeek-R1-Distill-Qwen-1.5B · Average across eight math benchmarksPass@1 accuracy (%): 45.90 -> 50.98Helped
Add the Summarization stage to Thinker training (ablation)Qwen2.5-1.5B Thinker · Average across eight math benchmarksPass@1 accuracy (%): 27.89 -> 27.85No clear effect
Add the Summarization stage to Thinker training (ablation)Qwen2.5-1.5B Thinker · Fast Thinkingaccuracy (%): 24.84 -> 26.75Helped
Use a 2000-token Verification budget instead of 6000 tokens (ablation)Thinker · Math benchmarksperformanceNo clear effect

Surprising findings

Limitations

Experimental setup

Datasets: Open-Reasoner-Zero 129K math QA dataset

Benchmarks: MATH500 AIME2024 AIME2025 GPQA Diamond OlympiadBench AMC23 Minerva Math College Math

Metrics: Pass@1 accuracy averaged over 16 samples standard error average response length reflection pattern count

Baselines: QA task baseline (PPO) Open-Reasoner-Zero SimpleRL ThinkPrune Concise Reasoning SR-FLOW AdaptThink

Builds on: PPO Open-Reasoner-Zero GRPO Thinker MDP

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