atlas

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

RL on Incorrect Synthetic Data Scales the Efficiency of LLM Math Reasoning by Eight-Fold

NeurIPS 2024 · Large language models › Reasoning and chain of thought · approach: Efficient and adaptive thinking

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.

Shows that self-generated positive synthetic data beats oracle positives, and that per-step DPO on critically-chosen negative responses (equivalent to advantage-weighted RL) yields up to 8x sample-efficiency gains for math reasoning.

Problem

Synthetic data for LLM math reasoning helps unevenly: positive synthetic data from capable models scales slowly and self-generated positives can amplify spurious intermediate steps. The question is when synthetic data (positive and negative) helps or hurts.

Approach

Construct learner-specific negative pairs that localize the first critical step (lowest Monte Carlo Q-value under a best-of-K policy) and train with per-step DPO, which the authors show is equivalent to advantage-weighted RL; this unlearns spurious steps that positive-only SFT/RFT amplifies.

Key results

Measured effects reported in the paper

What was changedWhereMeasuredEffect
Scale positive synthetic problems and solutions from GPT-4 and Gemini 1.5 ProSFT · GSM8Ktest error rate: D^{-0.15}Helped
Scale positive synthetic problems and solutions from GPT-4 and Gemini 1.5 ProSFT · MATHtest error rate: D^{-0.05}Helped
Use self-generated verified positive responses instead of one teacher response per problemRFT · GSM8K and MATHsample efficiency: 2×Helped
Use one self-generated positive response per problem (ablation)RFT · GSM8K and MATHtest performance: >1%Helped
Scale self-generated positive responses that may contain spurious steps (ablation)RFT · GSM8Ktest error rateHurt
Add learner-generated negative responses with critical-step credit assignmentPer-step DPO · GSM8K and MATHsample efficiency: 8×Helped
Pair arbitrary positive and negative responses rather than identify critical steps (ablation)Standard DPO · GSM8K and MATHtest performanceHurt
Pair positive and negative responses with highest edit distance rather than identify critical steps (ablation)DPO · GSM8K and MATHtest performanceMixed
Add preference pairs from positive traces to per-step DPO pairs from negative traces (ablation)Per-step DPO · GSM8K and MATHtest errorHelped
Generate negative data from an under-trained SFT initialization (ablation)Per-step DPO · Didactic star graph problemtest performanceHelped
Generate negative data from an early-stopped SFT initialization (ablation)Per-step DPO · Didactic star graph problemtest performanceHelped
Generate negative data from an over-trained SFT initialization (ablation)Per-step DPO · Didactic star graph problemtest errorNo clear effect

Surprising findings

Limitations

Experimental setup

Datasets: GSM8K MATH

Benchmarks: GSM8K MATH

Metrics: test error rate pass@5 error rate scaling law exponent

Baselines: SFT RFT standard DPO per-step DPO (Q-value pairs) edit-distance paired DPO

Builds on: direct preference optimization rejection finetuning STaR Group DRO per-step DPO

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