@misc{indiciaee852952a19ea, title = {AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification}, author = {Lingkai Kong and Zijian Wu and Yuzhe Gu and Haiteng Zhao and Zhouqi Hua and Wenyong Huang and Shuang Sun and Zhicheng Xiong and Xiaotian Zhang and Shuya Zhao and Yan Wang and Disheng Xu and Wenwei Zhang and Kai Chen}, year = {2026}, url = {https://arxiv.org/abs/2607.11849}, note = {Source identifier: 2607.11849} }