AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification
高级数学基准测试:用于高级数学证明生成与验证的基准测试套件
机构 * Shanghai AI Laboratory(上海人工智能实验室) ; MMLab, The Chinese University of Hong Kong(香港中文大学多媒体实验室) ; Shanghai Jiao Tong University(上海交通大学) ; Great Bay University(大湾区大学)
AI总结 介绍用于评估高级数学推理能力的AdvancedMathBench基准测试套件,含ProverBench证明生成基准及自动验证管道,还有VerifierBench。实验显示前沿模型在证明生成与验证上表现不佳,该套件对模型提升高级数学证明能力有挑战。