TY  - RPRT
TI  - MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling
AU  - Jiacheng Chen
AU  - Xinyu Zhang
AU  - Shunkai Zhang
AU  - Yanmohan Wang
AU  - Lin Li
AU  - Tiancheng Qin
AU  - Qin Wang
AU  - Zhengmao Zhu
AU  - Tianle Li
AU  - Jingyang Li
AU  - Zehan Li
AU  - Binyang Jiang
AU  - Jin Zhu
AU  - Han Ding
AU  - Fei Yu
AU  - Chenyu Du
AU  - Zijian Song
AU  - Jiayuan Song
AU  - Zhi Zhang
AU  - Yunan Huang
AU  - Weiyu Cheng
AU  - Pengyu Zhao
AU  - Yu Cheng
PY  - 2026
UR  - https://arxiv.org/abs/2606.13473
ID  - 2606.13473
ER  -