Trajectory Bellman Residual Minimization: A Simple Value-Based Method for LLM Reasoning
机构 * UW-Madison(威斯康星大学麦迪逊分校) ; MIT(麻省理工学院)
专题命中 数学推理 :reasoning(title,abstract);分类 cs.CL、cs.AI、cs.LG
Comments NeurIPS 2025
AI 大模型
大模型数学、逻辑、规划、多步推理和测试时计算能力。
机构 * UW-Madison(威斯康星大学麦迪逊分校) ; MIT(麻省理工学院)
专题命中 数学推理 :reasoning(title,abstract);分类 cs.CL、cs.AI、cs.LG
Comments NeurIPS 2025
机构 * City University of Hong Kong(香港城市大学) ; Huawei Research(华为研究)
专题命中 数学推理 :reasoning(title,abstract);分类 cs.AI
机构 * The Chinese University of Hong Kong(香港中文大学) ; Huawei Noah’s Ark Lab(华为诺亚实验室) ; The University of Hong Kong(香港大学)
专题命中 数学推理 :reasoning(title,abstract);分类 cs.CL
Comments under review
专题命中 数学推理 :reasoning(abstract);分类 cs.CL
Comments Accepted to IJCNLP-AACL 2025 (Main). Code available at https://github.com/cl-tohoku/Non-Gregorian-Calendar
专题命中 代码与定理证明 :reasoning(abstract);分类 cs.AI
Comments 9 pages, 5 figures, AAAI 2026
专题命中 逻辑推理 :reasoning(title,abstract);logical reasoning(title)
机构 * Centre for Theoretical Neuroscience(理论神经科学中心) ; David R. Cheriton School of Computer Science(大卫·R·切里顿计算机科学学院) ; University of Waterloo(滑铁库大学) ; Department of Philosophy(哲学系) ; Department of Systems Design Engineering(系统设计工程系)
专题命中 逻辑推理 :reasoning(title,abstract);分类 cs.AI、cs.LG
机构 * School of Artificial Intelligence, Sun Yat-sen University(中山大学人工智能学院) ; Key Laboratory of Sustainable Tourism Smart Assessment Technology, Ministry of Culture and Tourism, Sun Yat-sen University(文化旅游可持续评估技术重点实验室,中华人民共和国文化和旅游部,中山大学) ; Beijing Normal University(北京师范大学) ; Institute of Software, Chinese Academy of Sciences(中国科学院软件研究所)
专题命中 逻辑推理 :reasoning(abstract);logical reasoning(abstract);分类 cs.CL
Comments CCKS 2025 Shared Task Paper
专题命中 逻辑推理 :reasoning(abstract);logical reasoning(abstract);分类 cs.CL
机构 * United States Air Force(美国空军)
专题命中 逻辑推理 :reasoning(abstract);分类 cs.AI
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract)
Comments 11 pages
专题命中 规划推理 :reasoning(title,abstract);chain-of-thought(abstract);分类 cs.CL、cs.AI
Comments Paper accepted to AAAI 2026
专题命中 规划推理 :reasoning(title,abstract);分类 cs.CL、cs.AI
Comments AAAI 2026
专题命中 规划推理 :planning(title,abstract);分类 cs.AI、cs.LG
Comments Published in the Annual Review of Control, Robotics, and Autonomous Systems, Volume 9; copyright 2026 the author(s), CC BY 4.0, https://www.annualreviews.org
Journal ref Annual Review of Control, Robotics, and Autonomous Systems (2026)
专题命中 规划推理 :reasoning(abstract);planning(abstract)
Comments (Book) To Appear in Foundation and Trends in Robotics. 163 pages, 40 figures, 13 tables
机构 * University of Passau(帕绍大学)
专题命中 规划推理 :reasoning(abstract);分类 cs.CL、cs.AI、cs.LG
Comments 7 pages, 2 figures, v1 init
专题命中 规划推理 :reasoning(abstract);分类 cs.CL、cs.AI
Comments 9 pages, 3 figures. Code and data available at https://github.com/alvco/Founding_Fathers_AI
机构 * University of Waterloo(滑铁卢大学) ; Ascend Team, Huawei Technologies(华为技术有限公司)
专题命中 规划推理 :reasoning(abstract);分类 cs.CL、cs.LG
专题命中 规划推理 :reasoning(abstract);分类 cs.CL、cs.LG
Comments 10 pages, 6 figures
机构 * Centre for Responsible AI (CeRAI), Wadhwani School of Data Science and AI (WSAI)(负责任人工智能中心(CeRAI)、Wadhwani数据科学与人工智能学校(WSAI)) ; Indian Institute of Technology Madras(印度理工学院马德拉斯学院)
专题命中 规划推理 :planning(abstract);分类 cs.CL、cs.AI
Comments Accepted at IJCNLP-AACL 2025 Findings
机构 * Hostelworld Group(Hostelworld集团) ; BrainOmega ; Technical University of Catalonia (UPC)(技术大学 of 加泰罗尼亚(UPC)) ; Yazd University(亚兹德大学)
专题命中 规划推理 :planning(abstract);分类 cs.AI
Comments 13 pages, 3 figures
专题命中 规划推理 :reasoning(abstract);分类 cs.AI
Comments Accepted by AAAI-26
专题命中 规划推理 :reasoning(abstract);分类 cs.AI
专题命中 规划推理 :planning(abstract);分类 cs.LG
机构 * LTCI, Télécom Paris, Institut Polytechnique de Paris(LTCI,Telecom Paris, Institut Polytechnique de Paris) ; Inria Paris(Inria巴黎)
专题命中 规划推理 :planning(abstract);分类 cs.CL
Comments Accepted to NAACL 2025 main, long paper
机构 * Bio LIMS INC(Bio LIMS公司)
专题命中 规划推理 :reasoning(abstract);分类 cs.AI
Comments 12 pages, 0 figures
机构 * Wayne State University(韦恩州立大学) ; Henry Ford Health(亨利福特医疗)
专题命中 规划推理 :planning(abstract);分类 cs.AI
专题命中 规划推理 :planning(abstract)
机构 * Holcombe Department of Electrical and Computer Engineering(霍尔科姆电气与计算机工程系) ; Clemson University(克莱姆森大学)
专题命中 视觉空间推理 :reasoning(title,abstract);chain-of-thought(abstract);planning(abstract);分类 cs.AI
机构 * Engineering Group(工程集团) ; Snam S.p.A.(Snam公司)
专题命中 视觉空间推理 :reasoning(abstract);分类 cs.AI、cs.LG