Research paper
MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling
MaxProof is a population-level test-time scaling framework for competition-level mathematical proof, developed for the MiniMax-M3 model series. The M3 model is trained with three proof-oriented capabilities: proof generation via verifier-guided reinforcement learning, proof verification through aligned error finding, and critique-conditioned proof repair.…
Jiacheng Chen, Xinyu Zhang, Shunkai Zhang, Yanmohan Wang, et al.- Published
- Jun 2026
- Citations
- 1
- Code
- Not linked