Scaling Natural-Language Graph-Based Test Time Compute for Automated Theorem Proving
扩展基于自然语言图结构的测试时计算用于自动定理证明
机构 * Boston University ； Provadis School of International Management \& Technology ； Duke University ； Algoverse AI Research
AI总结 提出KG-prover框架，利用从权威数学文本挖掘的知识图谱增强通用大语言模型，通过扩展图结构的测试时计算显著提升自动定理证明性能。
Comments Accepted to ICML AI4Math Workshop 2025, NAACL SRW 2025
