大模型推理能力

Non-Interactive Symbolic-Aided Chain-of-Thought for Logical Reasoning

Phuong Minh Nguyen, Tien Huu Dang, Naoya Inoue

机构 * Japan Advanced Institute of Science and Technology（日本科学技术先进研究院） 纠错

专题命中 逻辑推理 ：reasoning(title,abstract)；chain-of-thought(title,abstract)；logical reasoning(title,abstract)；CoT(abstract)

Comments Accepted in The 39th Pacific Asia Conference on Language, Information and Computation (PACLIC 39)

Deliberate Planning in Language Models with Symbolic Representation

Siheng Xiong, Zhangding Liu, Jieyu Zhou, Yusen Su

机构 * Georgia Institute of Technology, Atlanta, GA 30332 USA（佐治亚理工学院） 纠错

专题命中 逻辑推理 ：planning(title,abstract)；reasoning(abstract)；分类 cs.CL

Comments Accepted to Twelfth Annual Conference on Advances in Cognitive Systems

Multi-Hop Question Answering: When Can Humans Help, and Where do They Struggle?

Jinyan Su, Claire Cardie, Jennifer Healey

专题命中 逻辑推理 ：reasoning(abstract)；logical reasoning(abstract)

Neural Brain: A Neuroscience-inspired Framework for Embodied Agents

Jian Liu, Xiongtao Shi, Thai Duy Nguyen, Haitian Zhang, Tianxiang Zhang, Wei Sun, Yanjie Li, Athanasios V. Vasilakos, Giovanni Iacca, Arshad Ali Khan, Arvind Kumar, Jae Won Cho, Ajmal Mian, Lihua Xie, Erik Cambria, Lin Wang

机构 * School of Electrical and Electronic Engineering, Nanyang Technological University（南洋理工大学电子与电气工程学院） ； School of Artificial Intelligence and Robotics, Hunan University（湖南大学人工智能与机器人学院） ； School of Intelligence Science and Engineering, Harbin Institute of Technology (Shenzhen)（哈尔滨工业大学（深圳）智能科学与工程学院） ； Department of Information and Communication Technology, University of Agder（阿格德大学信息与通信技术系） ； Department of Information Engineering and Computer Science, University of Trento（特伦特大学信息工程与计算机科学系） ； Elm Company（Elm公司） ； Division of Computational Science and Technology, KTH Royal Institute of Technology（皇家理工学院计算科学与技术系） ； School of Artificial Intelligence and Data Science, Sejong University（世宗大学人工智能与数据科学学院） ； Department of Computer Science of the University of Western Australia（西澳大学计算机科学系） ； College of Computing and Data Science, Nanyang Technological University（南洋理工大学计算与数据科学学院） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments 51 pages, 17 figures, 9 tables

Strategy Logic, Imperfect Information, and Hyperproperties

Raven Beutner, Bernd Finkbeiner

机构 * CISPA Helmholtz Center for Information Security（CISPA信息安全研究中心） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments KR 2025