CompassPlay: Rewarding the Proposer for Where It Moves the Solver
Not on the map. Why?
Abstract (arXiv)
In self-play, a proposer generates verifiable tasks to train a solver. Proposer rewards often depend on the solver's success rate, but equally difficult tasks can differ in their training value. We introduce CompassPlay, a self-play method that rewards the proposer through gradient alignment. The reward favors tasks whose solver loss gradients align with those of reference tasks representing the target capabilities. It draws on a first-order approximation to learning progress and scores each eligible task without additional solver training. Our experiments show gains in performance and training efficiency. In coding self-play with Qwen2.5-Coder-7B, a small external reference set guides task generation. CompassPlay improves average accuracy over AZR's difficulty reward by 1.5 percentage points on in-domain coding and 2.7 on out-of-domain mathematics. In Lean4 theorem proving, CompassPlay matches the difficulty baseline's 150-iteration cumulative coverage with 40% fewer GPU-hours.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 34 of its 38 references that are in the map. First posted on arXiv 26 Sep 2026.
Builds on
34 of 38 references.
References · 34
- 2017Proximal Policy Optimization Algorithmscited by 15,215
- 2021Training Verifiers to Solve Math Word Problemscited by 10,109
- 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,371
- 2023Let's Verify Step by Stepcited by 3,789
- 2024LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Codecited by 2,004
- 2022Solving Quantitative Reasoning Problems with Language Modelscited by 1,392
- 2024Qwen2.5-Coder Technical Reportcited by 1,203
- 2024OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problemscited by 1,136
- 2020Estimating Training Data Influence by Tracing Gradient Descentcited by 580
- 2024LESS: Selecting Influential Data for Targeted Instruction Tuningcited by 532
- 2025Absolute Zero: Reinforced Self-play Reasoning with Zero Datacited by 344
- 2024CRUXEval: A Benchmark for Code Reasoning, Understanding and Executioncited by 300
22 more
- 2025DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decompositioncited by 287
- 2020Emergent Complexity and Zero-shot Transfer via Unsupervised Environment Designcited by 275
- 2017Automatic Goal Generation for Reinforcement Learning Agentscited by 259
- 2025REINFORCE++: Stabilizing Critic-Free Policy Optimization with Global Advantage Normalizationcited by 241
- 2025R-Zero: Self-Evolving Reasoning LLM from Zero Datacited by 228
- 2017Teacher-Student Curriculum Learningcited by 210
- 2022Evolving Curricula with Regret-Based Environment Designcited by 173
- 2025Self-Evolving Curriculum for LLM Reasoningcited by 112
- 2024MATES: Model-Aware Data Selection for Efficient Pretraining with Data Influence Modelscited by 100
- 2025SPICE: Self-Play In Corpus Environments Improves Reasoningcited by 83
- 2025STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Provingcited by 79
- 2024Learning Formal Mathematics From Intrinsic Motivationcited by 45
- 2025Language Self-Play For Data-Free Trainingcited by 43
- 2024Montessori-Instruct: Generate Influential Training Data Tailored for Student Learningcited by 13
- 2026Teaching Models to Teach Themselves: Reasoning at the Edge of Learnabilitycited by 13
- 2026GradAlign: Gradient-Aligned Data Selection for LLM Reinforcement Learningcited by 12
- 2026Scaling Self-Play with Self-Guidancecited by 10
- 2025LearnAlign: Data Selection for LLM Reinforcement Learning with Improved Gradient Alignmentcited by 9
- 2025Better LLM Reasoning via Dual-Playcited by 8
- 2026Optimsyn: Influence-Guided Rubrics Optimization for Synthetic Data Generationcited by 6
- 2026GASP: Guided Asymmetric Self-Play For Coding LLMscited by 4
- 2026Survive or Collapse: The Asymmetric Roles of Data Gating and Reward Grounding in Self-Play RLcited by 4
Built on by
Not cited yet.