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
机构 * Institute of Perception, Action and Behavior(感知、行为与动作研究所) ; School of Informatics(信息学院) ; University of Edinburgh(爱丁堡大学)
专题命中 逻辑推理 :reasoning(title,abstract);logical reasoning(abstract);分类 cs.AI
Comments 14 pages, 6 figures
机构 * Karlsruhe Institute of Technology(卡尔斯鲁厄理工学院)
专题命中 规划推理 :planning(title,abstract);reasoning(abstract)
Comments Accepted to IROS 2025
机构 * School of Computer Science Carnegie Mellon University Pittsburgh PA USA ; School of Computer Science Carnegie Mellon University
专题命中 规划推理 :planning(title,abstract);分类 cs.AI
Comments This paper has been accepted to UIST 2025. For additional materials and project details, please see: https://www.cs.cmu.edu/~helalaou/publications/stepwrite
机构 * Contextual Robotics Institute, University of California San Diego(情境机器人研究所,加州大学圣地亚哥分校)
专题命中 规划推理 :planning(title,abstract)
Comments Accepted to IEEE/RSJ International Conference on Intelligent Robots and Systems (iROS) 2025
机构 * ABB Ability Innovation Center, Hyderabad(ABB能力创新中心,海得拉巴) ; Indian Institute of Technology Tirupati(印度理工学院蒂鲁帕蒂分校)
专题命中 规划推理 :planning(title);分类 cs.LG
机构 * George Bredis(无) ; Stanislav Dereka(无) ; Viacheslav Sinii(无) ; Ruslan Rakhimov(无) ; Daniil Gavrilov(无)
专题命中 规划推理 :reasoning(abstract);planning(abstract);分类 cs.AI、cs.LG
机构 * National Institute of Informatics, Japan(日本信息机构国家研究所) ; University of Wisconsin—Madison, USA(美国威斯康星大学麦迪逊分校) ; Kyoto University, Japan(日本京都大学)
专题命中 规划推理 :reasoning(abstract);chain-of-thought(abstract);分类 cs.CL
Comments Accepted to ACL 2025 Findings. 14 pages
机构 * Zhejiang University(浙江大学) ; Fudan University(复旦大学) ; OPPO AI Center(OPPO AI中心) ; University of Chinese Academy of Sciences(中国科学院大学) ; Institute of Automation, Chinese Academy of Sciences(中国科学院自动化研究所) ; The Chinese University of Hong Kong(香港中文大学) ; Tsinghua University(清华大学) ; Shanghai Jiao Tong University(上海交通大学) ; The Hong Kong Polytechnic University(香港理工大学)
专题命中 规划推理 :planning(abstract);分类 cs.CL、cs.AI、cs.LG
Comments ACL 2025 (Oral)
专题命中 规划推理 :reasoning(abstract,comments);分类 cs.CL、cs.AI
Comments Accepted to ICCV 2025 Workshop on Multi-Modal Reasoning for Agentic Intelligence
机构 * Department of Computer Science, University of Illinois at Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校计算机科学系) ; Center for Intelligent Information Retrieval, University of Massachusetts Amherst(马萨诸塞大学阿姆赫斯特分校智能信息检索中心) ; Google Cloud AI Research(谷歌云人工智能研究)
专题命中 规划推理 :reasoning(abstract);分类 cs.CL、cs.AI
Comments 31 pages
专题命中 规划推理 :planning(abstract);分类 cs.CL
机构 * Thoughtworks AI Research Labs(Thoughtworks人工智能研究实验室)
专题命中 规划推理 :reasoning(abstract);分类 cs.AI
专题命中 规划推理 :reasoning(abstract);分类 cs.AI
机构 * College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, China(深圳大学计算机科学与软件工程学院) ; Shenzhen Key Laboratory of Visual Object Detection and Recognition, Harbin Institute of Technology, Shenzhen, 518055, China(视觉对象检测与识别深圳重点实验室) ; Laboratory for Artificial Intelligence in Design, Hong Kong(人工智能设计实验室) ; School of Artificial Intelligence, Shenzhen University, Shenzhen, China(深圳大学人工智能学院)
专题命中 规划推理 :reasoning(abstract);分类 cs.AI
机构 * Peking University(北京大学) ; ByteDance(字节跳动) ; Beijing Institute of Technology(北京理工大学)
专题命中 规划推理 :reasoning(abstract);分类 cs.AI
机构 * Thomas Lord Department of Computer Science, University of Southern California(美国南加州大学计算机科学系) ; Independent Researcher(独立研究者) ; Carnegie Mellon University(卡内基梅隆大学) ; University of California, Irvine(加州大学尔湾分校)
专题命中 规划推理 :planning(abstract);分类 cs.AI
Comments 7 pages
Journal ref 2025 IEEE/RSJ International Conference on Intelligent Robots and Systems
机构 * School of Software Technology Zhejiang University Hangzhou Zhejiang China(软件技术学院浙江大学杭州浙江中国) ; Zhejiang University(浙江大学)
专题命中 规划推理 :reasoning(abstract);分类 cs.CL
Comments Accepted at ACM MM 2025 Main Conference
机构 * Department of Mechanical Engineering, Temple University(机械工程系,特伦特大学) ; U.S. Army Research Laboratory (ARL)(美国陆军研究实验室) ; U.S. DEVCOM Army Research Laboratory (ARL)(美国国防部陆军研究实验室)
专题命中 规划推理 :planning(abstract)
专题命中 规划推理 :reasoning(abstract)
机构 * School of Data Science, Fudan University(复旦大学数据科学学院) ; University of Surrey(萨里大学)
专题命中 规划推理 :planning(abstract)
Comments Journal extension of NeurIPS 2024. arXiv admin note: substantial text overlap with arXiv:2410.05982
专题命中 规划推理 :planning(abstract)
机构 * Institute of Trustworthy Embodied AI(可信具身人工智能研究院) ; Fudan University(复旦大学) ; Shanghai Collaborative Innovation Center of Intelligent Visual Computing(上海智能视觉计算协同创新中心) ; Bytedance Intelligent Creation(字节跳动智能创作)
专题命中 规划推理 :planning(abstract)
Comments Accepted by ICCV 2025
专题命中 规划推理 :planning(abstract)
Comments 39 total pages. 22 pages of main text with 6 figures and 17 pages of supplementary information with 7 figures