KG-Augmented Executable CoT for Mathematical Coding
专题命中 数学推理 :CoT(title);reasoning(abstract);chain-of-thought(abstract);分类 cs.AI
Comments 9 pages,2figures,6 tables
AI 大模型
大模型数学、逻辑、规划、多步推理和测试时计算能力。
专题命中 数学推理 :CoT(title);reasoning(abstract);chain-of-thought(abstract);分类 cs.AI
Comments 9 pages,2figures,6 tables
机构 * Shanghai Artificial Intelligence Laboratory(上海人工智能实验室) ; ShanghaiTech University(上海科技大学) ; University of Hong Kong(香港大学) ; Fudan University(复旦大学)
专题命中 数学推理 :reasoning(title,abstract);分类 cs.AI、cs.LG
Comments Accepted by the 63rd Annual Meeting of the Association for Computational Linguistics (ACL 2025), Main Conference
Journal ref Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), ACL 2025
专题命中 数学推理 :reasoning(abstract);chain-of-thought(abstract);CoT(abstract);分类 cs.CL、cs.AI、cs.LG
Comments Published as a conference paper at COLM 2025
专题命中 数学推理 :reasoning(title,abstract);分类 cs.LG
专题命中 数学推理 :reasoning(abstract);分类 cs.CL、cs.AI、cs.LG
机构 * Key Laboratory of Network Data Science and Technology(网络数据科学与技术重点实验室) ; Institute of Computing Technology(计算技术研究所) ; Chinese Academy of Sciences(中国科学院) ; State Key Laboratory of AI Safety(人工智能安全国家重点实验室) ; University of Chinese Academy of Science(中国科学院大学)
专题命中 数学推理 :reasoning(abstract);分类 cs.CL、cs.AI、cs.LG
Comments Accepted by CCIR25 and published by Springer LNCS or LNAI
专题命中 数学推理 :reasoning(abstract);分类 cs.AI