Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Danus:利用事实图内存编排数学推理智能体
机构 * School of Mathematical Sciences, Peking University(北京大学数学科学学院) ; Beijing International Center for Mathematical Research, Peking University(北京大学北京国际数学研究中心) ; Research Institute for Mathematical Sciences, Kyoto University(京都大学数理解析研究所) ; School of Mathematics, Tianjin University(天津大学数学学院) ; Zhongguancun Academy(中关村科学院) ; Department of Mathematics, Stanford University(斯坦福大学数学系) ; Westlake Institute for Advanced Study, Westlake University(西湖大学西湖高等研究院) ; School of Mathematical Sciences, Key Laboratory of Intelligent Computing and Applications (Ministry of Education), Tongji University(同济大学数学科学学院(教育部智能计算与应用重点实验室)) ; Beijing International Center for Mathematical Research and the New Cornerstone Science Laboratory, Peking University(北京大学北京国际数学研究中心与新基石科学实验室) ; Center for Machine Learning Research, Peking University(北京大学机器学习研究中心) ; Center for Intelligent Computing, Great Bay Institute for Advanced Study, Great Bay University(大湾区大学高等研究院智能计算中心)
专题命中 数学推理 :reasoning(title,abstract);planning(abstract);verifier(abstract);分类 cs.CL、cs.AI
AI总结 本文针对基于大语言模型的数学推理智能体扩展和编排难题,提出以共享事实图为全局内存管理机制的Danus系统,由主智能体、工作智能体和验证器构成,通过案例研究评估,展示其构建长证明的能力,为长期研究问题提供有效编排途径。