TY  - RPRT
TI  - Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems
AU  - Yebo Peng
AU  - Yaoming Li
AU  - Zixiang Liu
AU  - Zhizhuo Yang
AU  - Xinye Xu
AU  - Bowen Ye
AU  - Weijun Yuan
AU  - Zihan Wang
AU  - Tong Yang
PY  - 2026
UR  - https://arxiv.org/abs/2508.02208
ID  - 2508.02208
ER  -