Recursive Harness Self-Improvement for Frontier Reasoning Data Synthesis
cs.AI
Submitted: 2026-10-02
Updated: 2026-10-02
License: http://creativecommons.org/licenses/by-sa/4.0/
The gist: Generating progressively harder reasoning problems requires synthesis procedures that adapt as the task distribution evolves.
Abstract
Generating progressively harder reasoning problems requires synthesis procedures that adapt as the task distribution evolves. Existing task-level recursion reuses generated problems as seeds but leaves the construction harness unchanged. We present task-harness co-evolution, a framework for recursive harness self-improvement (RSI) in reasoning-data synthesis. Online self-improvement converts intermediate solver failures into reusable skills during generation. Post-task self-improvement revises skills, prompts, and workflows after each batch, adopting candidates only when they generate harder valid tasks within a bounded cost increase. Model weights and verification criteria remain fixed. Across mathematics, coding, and science, mean solver accuracy decreases from 100.0% to 54.8% over fourteen evolution rounds. Ablations show that combining both update schedules produces harder tasks than fixed-harness recursion or either schedule alone. The resulting data improves downstream SFT and GRPO performance. In particular, a 27B student fine-tuned on 10K synthesized mathematics examples achieves 62.5% mean-16 accuracy on APEX, competitive with selected frontier-model references. These results support adapting the synthesis harness alongside the tasks to generate increasingly challenging data with downstream training value.
Sources
- OpenCodeReasoning: Advancing Data Distillation for Competitive Coding
- DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning
- Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs
- FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
- Measuring Mathematical Problem Solving With the MATH Dataset
- R-Zero: Self-Evolving Reasoning LLM from Zero Data
- LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code
- Autodata: An agentic data scientist to create high quality synthetic data
- Recursive Harness Self-Improvement
- Meta-Harness: End-to-End Optimization of Model Harnesses
- Recursive Synthesis for Long-Horizon Terminal Tasks
- Augmenting Math Word Problems via Iterative Question Composing
- WildSci: Advancing Scientific Reasoning from In-the-Wild Literature
- AlphaEvolve: A coding agent for scientific and algorithmic discovery
- Beyond Human Data: Scaling Self-Training for Problem-Solving with Language Models
- SciCode: A Research Coding Benchmark Curated by Scientists
- FrontierScience: Evaluating AI's Ability to Perform Expert-Level Scientific Tasks
- SciBench: Evaluating College-Level Scientific Problem-Solving Abilities of Large Language Models
- BenchEvolver: Frontier Task Synthesis via Solution-Centric Evolution
- WizardLM: Empowering large pre-trained language models to follow complex instructions
Related papers
- MAVEN-T: Reinforced Heterogeneous Distillation for Real-Time Multi-Agent Trajectory Prediction
- Model Discovery Agent: LLM-assisted Bayesian experiment design for data-efficient discovery of mechanistic world models
- Agents' Last Exam
- The Clinician's Veto: Navigating Trust, Liability, and Uncertainty in Autonomous AI Prescribing
- MindHelper: Closed-Loop Embodied Mental-State Reasoning for Precision Intervention
- Incumbent Advantage: Brand Bias and Cognitive Manipulation Dynamics in LLM Recommendation Systems