@misc{indiciae5bebff2c17e2,
  title = {Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems},
  author = {Yebo Peng and Yaoming Li and Zixiang Liu and Zhizhuo Yang and Xinye Xu and Bowen Ye and Weijun Yuan and Zihan Wang and Tong Yang},
  year = {2026},
  url = {https://arxiv.org/abs/2508.02208},
  note = {Source identifier: 2508.02208}
}