大模型推理能力

Generic-to-Specific Reasoning and Learning for Scalable Ad Hoc Teamwork

Hasra Dodampegama, Mohan Sridharan

机构 * 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

Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers

Varun Bharti, Shashwat Jha, Dhruv Kumar, Pankaj Jalote

机构 * IIIT Delhi（印度德里理工学院） ； BITS Pilani（比斯帕利尼理工学院） 纠错

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

Comments Under Review

Automated Code Review Using Large Language Models with Symbolic Reasoning

Busra Icoz, Goksel Biricik

机构 * Computer Engineering Yıldız Technical University Istanbul, Turkiye（计算机工程 杨兹技术大学 伊斯坦布尔，土耳其） 纠错

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

Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc -- and We Can Do Better

Aaron Bembenek

机构 * School of Computing and Information Systems, The University of Melbourne（计算与信息系统学院，墨尔本大学） 纠错

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

Comments 6 pages, 4 figures

CodeAgents: A Token-Efficient Framework for Codified Multi-Agent Reasoning in LLMs

Bruce Yang, Xinfeng He, Huan Gao, Yifan Cao, Xiaofan Li, David Hsu

机构 * National University of Singapore（新加坡国立大学） ； School of Computer Science and Engineering, Southeast University（东南大学计算机科学与工程学院） ； Sapiens AI 纠错

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

"I'd Like to Have an Argument, Please": Argumentative Reasoning in Large Language Models

Adrian de Wynter, Tangming Yuan

机构 * Microsoft（微软公司） ； The University of York（约克大学） 纠错

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

Comments Accepted to COMMA '24. Final, peer-reviewed version to appear in the proceedings

Measuring the Faithfulness of Thinking Drafts in Large Reasoning Models

Zidi Xiong, Shan Chen, Zhenting Qi, Himabindu Lakkaraju

机构 * Harvard University（哈佛大学） 纠错

专题命中 逻辑推理 ：reasoning(title,abstract)；chain-of-thought(abstract)；分类 cs.AI

HopRAG: Multi-Hop Reasoning for Logic-Aware Retrieval-Augmented Generation

Hao Liu, Zhengren Wang, Xi Chen, Zhiyu Li, Feiyu Xiong, Qinhan Yu, Wentao Zhang

机构 * Peking University（北京大学） ； Center for LLM, Institute for Advanced Algorithms Research（大模型中心，高级算法研究所） ； Huazhong University of Science and Technology（华中科技大学） 纠错

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

Human-Aligned Bench: Fine-Grained Assessment of Reasoning Ability in MLLMs vs. Humans

Yansheng Qiu, Li Xiao, Zhaopan Xu, Pengfei Zhou, Zheng Wang, Kaipeng Zhang

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

CRAVE: A Conflicting Reasoning Approach for Explainable Claim Verification Using LLMs

Yingming Zheng, Xiaoliang Liu, Peng Wu, Li Pan

机构 * School of Computer Science, Shanghai Jiao Tong University, Shanghai, China（上海交通大学计算机科学学院） ； Shanghai KEY Laboratory of Integrated Administration Technologies for Information Security, Shanghai, China（上海信息安全集成管理技术重点实验室） ； School of Politics, National Defense University, Shanghai, China（国防大学政治学院） 纠错

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

From Chaos to Order: The Atomic Reasoner Framework for Fine-grained Reasoning in Large Language Models

Jinyi Liu, Yan Zheng, Rong Cheng, Qiyu Wu, Wei Guo, Fei Ni, Hebin Liang, Yifu Yuan, Hangyu Mao, Fuzheng Zhang, Jianye Hao

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

Improving Complex Reasoning over Knowledge Graph with Logic-Aware Curriculum Tuning

Tianle Xia, Liang Ding, Guojia Wan, Yibing Zhan, Bo Du, Dacheng Tao

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

Sphere Neural-Networks for Rational Reasoning

Tiansi Dong, Mateja Jamnik, Pietro Liò

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

AutoLogi: Automated Generation of Logic Puzzles for Evaluating Reasoning Abilities of Large Language Models

Qin Zhu, Fei Huang, Runyu Peng, Keming Lu, Bowen Yu, Qinyuan Cheng, Xipeng Qiu, Xuanjing Huang, Junyang Lin

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

Mechanistic Unveiling of Transformer Circuits: Self-Influence as a Key to Model Reasoning

Lin Zhang, Lijie Hu, Di Wang

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

Comments Accepted by NAACL2025

Investigating the Shortcomings of LLMs in Step-by-Step Legal Reasoning

Venkatesh Mishra, Bimsara Pathiraja, Mihir Parmar, Sat Chidananda, Jayanth Srinivasa, Gaowen Liu, Ali Payani, Chitta Baral

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

Comments Accepted to NAACL 2025 Findings

Think Smarter not Harder: Adaptive Reasoning with Inference Aware Optimization

Zishun Yu, Tengyu Xu, Di Jin, Karthik Abinav Sankararaman, Yun He, Wenxuan Zhou, Zhouhao Zeng, Eryk Helenowski, Chen Zhu, Sinong Wang, Hao Ma, Han Fang

专题命中 逻辑推理 ：reasoning(title,abstract)；self-correction(abstract)；分类 cs.AI

Reasoning with Graphs: Structuring Implicit Knowledge to Enhance LLMs Reasoning

Haoyu Han, Yaochen Xie, Hui Liu, Xianfeng Tang, Sreyashi Nag, William Headden, Hui Liu, Yang Li, Chen Luo, Shuiwang Ji, Qi He, Jiliang Tang

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

Bongard-OpenWorld: Few-Shot Reasoning for Free-form Visual Concepts in the Real World

Rujie Wu, Xiaojian Ma, Zhenliang Zhang, Wei Wang, Qing Li, Song-Chun Zhu, Yizhou Wang

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

Comments Accepted to ICLR 2024

$\textit{SKIntern}$: Internalizing Symbolic Knowledge for Distilling Better CoT Capabilities into Small Language Models

Huanxuan Liao, Shizhu He, Yupu Hao, Xiang Li, Yuanzhe Zhang, Jun Zhao, Kang Liu

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

Comments Accepted to COLING 2025

Unlocking Temporal Question Answering for Large Language Models with Tailor-Made Reasoning Logic

Xingxuan Li, Liying Cheng, Qingyu Tan, Hwee Tou Ng, Shafiq Joty, Lidong Bing

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

Comments Work in progress

FOLIO: Natural Language Reasoning with First-Order Logic

Simeng Han, Hailey Schoelkopf, Yilun Zhao, Zhenting Qi, Martin Riddell, Wenfei Zhou, James Coady, David Peng, Yujie Qiao, Luke Benson, Lucy Sun, Alex Wardle-Solano, Hannah Szabo, Ekaterina Zubova, Matthew Burtell, Jonathan Fan, Yixin Liu, Brian Wong, Malcolm Sailor, Ansong Ni, Linyong Nan, Jungo Kasai, Tao Yu, Rui Zhang, Alexander R. Fabbri, Wojciech Kryscinski, Semih Yavuz, Ye Liu, Xi Victoria Lin, Shafiq Joty, Yingbo Zhou, Caiming Xiong, Rex Ying, Arman Cohan, Dragomir Radev

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

Structured Event Reasoning with Large Language Models

Li Zhang

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

Comments PhD thesis

NELLIE: A Neuro-Symbolic Inference Engine for Grounded, Compositional, and Explainable Reasoning

Nathaniel Weir, Peter Clark, Benjamin Van Durme

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

Comments Published at IJCAI 2024

PathReasoner: Modeling Reasoning Path with Equivalent Extension for Logical Question Answering

Fangzhi Xu, Qika Lin, Tianzhe Zhao, Jiawei Han, Jun Liu

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

Comments Accepted by ACL 2024

Symbolic Chain-of-Thought Distillation: Small Models Can Also "Think" Step-by-Step

Liunian Harold Li, Jack Hessel, Youngjae Yu, Xiang Ren, Kai-Wei Chang, Yejin Choi

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

Comments ACL 2023

Language Models as Compilers: Simulating Pseudocode Execution Improves Algorithmic Reasoning in Language Models

Hyungjoo Chae, Yeonghyeon Kim, Seungone Kim, Kai Tzu-iunn Ong, Beong-woo Kwak, Moohyeon Kim, Seonghwan Kim, Taeyoon Kwon, Jiwan Chung, Youngjae Yu, Jinyoung Yeo

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

Comments 38 pages, 4 figures

Evaluating Step-by-Step Reasoning through Symbolic Verification

Yi-Fan Zhang, Hanlin Zhang, Li Erran Li, Eric Xing

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

Comments NAACL-Findings, 2024

Certified Deductive Reasoning with Language Models

Gabriel Poesia, Kanishk Gandhi, Eric Zelikman, Noah D. Goodman

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

POE: Process of Elimination for Multiple Choice Reasoning

Chenkai Ma, Xinya Du

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

Comments Accepted as a short paper at EMNLP 2023