@article{proof2hybridautomaticmathematicalbenchma,
  title = {Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems},
  author = {Yebo Peng and Zixiang Liu and Yaoming Li and Zhizhuo Yang and Xinye Xu and Bowen Ye and Weijun Yuan and Zihan Wang and Tong Yang},
  year = {2025},
  eprint = {2508.02208},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2508.02208},
}