Depth, dependency, and the cost of binary grading
Verifier-reward RL for theorem proving: a dependency graph reconstructed by necessity, why all-or-nothing grading distorts a compositional difficulty curve, and what it costs to train a 7B prover through the full depth curriculum.