MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling
We present MaxProof, a population-level test-time scaling framework for competition-level mathematical proof in the M...
Why it matters: arXiv (Jiacheng Chen) is tied to AI tools; developer tools and agent platforms can quickly change how teams build, deploy, and operate AI workflows.
Primary Source
arXiv (Jiacheng Chen)
research / 1 source