TY  - RPRT
TI  - AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification
AU  - Lingkai Kong
AU  - Zijian Wu
AU  - Yuzhe Gu
AU  - Haiteng Zhao
AU  - Zhouqi Hua
AU  - Wenyong Huang
AU  - Shuang Sun
AU  - Zhicheng Xiong
AU  - Xiaotian Zhang
AU  - Shuya Zhao
AU  - Yan Wang
AU  - Disheng Xu
AU  - Wenwei Zhang
AU  - Kai Chen
PY  - 2026
UR  - https://arxiv.org/abs/2607.11849
ID  - 2607.11849
ER  -