Maxproof

This paper presents MaxProof, a population-level test-time scaling framework for competition-level mathematical proof in the MiniMax-M3 series, using a defense-in-depth generative verifier and generative-verifier reinforcement learning.