@article{maxproofscalingmathematicalproofwithgene,
  title = {MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling},
  author = {Jiacheng Chen and Xinyu Zhang and Shunkai Zhang and Yanmohan Wang and Lin Li and Tiancheng Qin and Qin Wang and Zhengmao Zhu and Tianle Li and Jingyang Li and Zehan Li and Binyang Jiang and Jin Zhu and Han Ding and Fei Yu and Chenyu Du and Zijian Song and Jiayuan Song and Zhi Zhang and Yunan Huang and Weiyu Cheng and Pengyu Zhao and Yu Cheng},
  year = {2026},
  eprint = {2606.13473},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2606.13473},
}