大模型推理能力

LLM-Symbolic Integration for Robust Temporal Tabular Reasoning

Atharv Kulkarni, Kushagra Dixit, Vivek Srikumar, Dan Roth, Vivek Gupta

机构 * University of Utah（犹他大学） ； University of Pennsylvania（宾夕法尼亚大学） ； Arizona State University（亚利桑那州立大学） 纠错

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

Comments Accepted to ACL Findings 2025

LogicPuzzleRL: Cultivating Robust Mathematical Reasoning in LLMs via Reinforcement Learning

Zhen Hao Wong, Jingwen Deng, Runming He, Zirong Chen, Qijie You, Hejun Dong, Hao Liang, Chengyu Shen, Bin Cui, Wentao Zhang

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

EnigmaToM: Improve LLMs' Theory-of-Mind Reasoning Capabilities with Neural Knowledge Base of Entity States

Hainiu Xu, Siya Qi, Jiazheng Li, Yuxiang Zhou, Jinhua Du, Caroline Catmur, Yulan He

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

Comments Findings of ACL 2025

ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding

Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari

机构 * University of Calabria（卡布里亚大学） ； Gruppo Nazionale Calcolo Scientifico-Istituto Nazionale di Alta Matematica（国家科学计算集团-国家高级数学研究所） ； DLVSystem Srl（DLVSystem公司） 纠错

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

Comments Under consideration in Theory and Practice of Logic Programming (TPLP)

Two-way Evidence self-Alignment based Dual-Gated Reasoning Enhancement

Kexin Zhang, Junlan Chen, Daifeng Li, Yuxuan Zhang, Yangyang Feng, Bowen Deng, Weixu Chen

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

An Empirical Study of LLM Reasoning Ability Under Strict Output Length Constraint

Yi Sun, Han Wang, Jiaqiang Li, Jiacheng Liu, Xiangyu Li, Hao Wen, Yizhen Yuan, Huiwen Zheng, Yan Liang, Yuanchun Li, Yunxin Liu

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

Can an Easy-to-Hard Curriculum Make Reasoning Emerge in Small Language Models? Evidence from a Four-Stage Curriculum on GPT-2

Xiang Fu

机构 * Faculty of Computing and Data Sciences, Boston University（计算与数据科学学院，波士顿大学） 纠错

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

Reasoning Under Threat: Symbolic and Neural Techniques for Cybersecurity Verification

Sarah Veronica

机构 * Sarah Veronica（独立研究者） 纠错

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

KERAIA: An Adaptive and Explainable Framework for Dynamic Knowledge Representation and Reasoning

Stephen Richard Varey, Alessandro Di Stefano, The Anh Han

机构 * Teesside University（泰赛大学） 纠错

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

Comments 22 pages

Learning Type-Generalized Actions for Symbolic Planning

Daniel Tanneberg, Michael Gienger

机构 * Honda Research Institute EU（本田欧洲研究院） 纠错

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

Comments IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 2023

Look Before You Decide: Prompting Active Deduction of MLLMs for Assumptive Reasoning

Yian Li, Wentao Tian, Yang Jiao, Jingjing Chen, Tianwen Qian, Bin Zhu, Na Zhao, Yu-Gang Jiang

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

GSCE: A Prompt Framework with Enhanced Reasoning for Reliable LLM-driven Drone Control

Wenhao Wang, Yanyan Li, Long Jiao, Jiawei Yuan

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

Comments 8 pages

SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement Learning

Ivo Amador, Nina Gierasimczuk

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

Comments 8 pages, 8 figures

FReM: A Flexible Reasoning Mechanism for Balancing Quick and Slow Thinking in Long-Context Question Answering

Zhengyi Zhao, Shubo Zhang, Zezhong Wang, Bin Liang, Binyang Li, Kam-Fai Wong

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

AlphaSpace: Enabling Robotic Actions through Semantic Tokenization and Symbolic Reasoning

Alan Dao, Dinh Bach Vu, Bui Quang Huy

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

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning

Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma

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

Comments Published as a conference paper at ICLR 2025. Code is available at https://github.com/Lizn-zn/NeqLIPS/

HYBRIDMIND: Meta Selection of Natural Language and Symbolic Language for Enhanced LLM Reasoning

Simeng Han, Tianyu Liu, Chuhan Li, Xuyuan Xiong, Arman Cohan

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

Towards Robust Legal Reasoning: Harnessing Logical LLMs in Law

Manuj Kant, Sareh Nabi, Manav Kant, Roland Scharrer, Megan Ma, Marzieh Nabi

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

Detecting LLM Fact-conflicting Hallucinations Enhanced by Temporal-logic-based Reasoning

Ningke Li, Yahui Song, Kailong Wang, Yuekang Li, Ling Shi, Yi Liu, Haoyu Wang

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

Comments 16 pages, under review. arXiv admin note: substantial text overlap with arXiv:2405.00648

Neural-Symbolic Collaborative Distillation: Advancing Small Language Models for Complex Reasoning Tasks

Huanxuan Liao, Shizhu He, Yao Xu, Yuanzhe Zhang, Kang Liu, Jun Zhao

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

Comments Accepted to AAAI 2025

SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning

Magdalena Wysocka, Danilo Carvalho, Oskar Wysocki, Marco Valentino, Andre Freitas

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

Planning with affordances: Integrating learned affordance models and symbolic planning

Rajesh Mangannavar

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

Comments 10 pages, 2 figures

SymBa: Symbolic Backward Chaining for Structured Natural Language Reasoning

Jinu Lee, Wonseok Hwang

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

Comments 17 pages (8 pages for main text),11 figures

Systematic Abductive Reasoning via Diverse Relation Representations in Vector-symbolic Architecture

Zhong-Hua Sun, Ru-Yuan Zhang, Zonglei Zhen, Da-Hui Wang, Yong-Jie Li, Xiaohong Wan, Hongzhi You

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

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey

Lauren Nicole DeLong, Ramon Fernández Mir, Jacques D. Fleuriot

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

Comments 21 pages, 6 figures, 2 tables, currently under review. Corresponding GitHub page here: https://github.com/NeSymGraphs. Revised in February 2024 according to major revisions, again in May 2024 according to minor revisions

Large Language Model-Enhanced Symbolic Reasoning for Knowledge Base Completion

Qiyuan He, Jianfei Yu, Wenya Wang

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

Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems

Chunyan Mu, Muhammad Najib, Nir Oren

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

Neural-Symbolic Reasoning over Knowledge Graphs: A Survey from a Query Perspective

Lihui Liu, Zihao Wang, Hanghang Tong

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

Abductive Symbolic Solver on Abstraction and Reasoning Corpus

Mintaek Lim, Seokki Lee, Liyew Woletemaryam Abitew, Sundong Kim

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

Comments Presented at IJCAI 2024 LNSAI Workshop

Exploring Performance Contrasts in TableQA: Step-by-Step Reasoning Boosts Bigger Language Models, Limits Smaller Language Models

Haoyan Yang, Yixuan Wang, Keyue Tong, Hongjin Zhu, Yuanxin Zhang

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