mlsanityData to 14 Oct 2026

CompassPlay: Rewarding the Proposer for Where It Moves the Solver

arXiv 2609.32228 ↗First posted 26 Sep 2026cs.LGcited by 0

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

  1. 2017Proximal Policy Optimization Algorithmscited by 15,215
  2. 2021Training Verifiers to Solve Math Word Problemscited by 10,109
  3. 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,371
  4. 2023Let's Verify Step by Stepcited by 3,789
  5. 2024LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Codecited by 2,004
  6. 2022Solving Quantitative Reasoning Problems with Language Modelscited by 1,392
  7. 2024Qwen2.5-Coder Technical Reportcited by 1,203
  8. 2024OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problemscited by 1,136
  9. 2020Estimating Training Data Influence by Tracing Gradient Descentcited by 580
  10. 2024LESS: Selecting Influential Data for Targeted Instruction Tuningcited by 532
  11. 2025Absolute Zero: Reinforced Self-play Reasoning with Zero Datacited by 344
  12. 2024CRUXEval: A Benchmark for Code Reasoning, Understanding and Executioncited by 300
22 more
  1. 2025DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decompositioncited by 287
  2. 2020Emergent Complexity and Zero-shot Transfer via Unsupervised Environment Designcited by 275
  3. 2017Automatic Goal Generation for Reinforcement Learning Agentscited by 259
  4. 2025REINFORCE++: Stabilizing Critic-Free Policy Optimization with Global Advantage Normalizationcited by 241
  5. 2025R-Zero: Self-Evolving Reasoning LLM from Zero Datacited by 228
  6. 2017Teacher-Student Curriculum Learningcited by 210
  7. 2022Evolving Curricula with Regret-Based Environment Designcited by 173
  8. 2025Self-Evolving Curriculum for LLM Reasoningcited by 112
  9. 2024MATES: Model-Aware Data Selection for Efficient Pretraining with Data Influence Modelscited by 100
  10. 2025SPICE: Self-Play In Corpus Environments Improves Reasoningcited by 83
  11. 2025STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Provingcited by 79
  12. 2024Learning Formal Mathematics From Intrinsic Motivationcited by 45
  13. 2025Language Self-Play For Data-Free Trainingcited by 43
  14. 2024Montessori-Instruct: Generate Influential Training Data Tailored for Student Learningcited by 13
  15. 2026Teaching Models to Teach Themselves: Reasoning at the Edge of Learnabilitycited by 13
  16. 2026GradAlign: Gradient-Aligned Data Selection for LLM Reinforcement Learningcited by 12
  17. 2026Scaling Self-Play with Self-Guidancecited by 10
  18. 2025LearnAlign: Data Selection for LLM Reinforcement Learning with Improved Gradient Alignmentcited by 9
  19. 2025Better LLM Reasoning via Dual-Playcited by 8
  20. 2026Optimsyn: Influence-Guided Rubrics Optimization for Synthetic Data Generationcited by 6
  21. 2026GASP: Guided Asymmetric Self-Play For Coding LLMscited by 4
  22. 2026Survive or Collapse: The Asymmetric Roles of Data Gating and Reward Grounding in Self-Play RLcited by 4

Built on by

Not cited yet.