大模型推理能力

SPORTSQL: An Interactive System for Real-Time Sports Reasoning and Visualization

Sebastian Martinez, Naman Ahuja, Fenil Bardoliya, Chris Bryan, Vivek Gupta

机构 * Arizona State University（亚利桑那州立大学） 纠错

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

Comments Under Review at EMNLP

A Fully Spectral Neuro-Symbolic Reasoning Architecture with Graph Signal Processing as the Computational Backbone

Andrew Kiruluta

机构 * Andrew Kiruluta（独立研究者） 纠错

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

Knowledge Graph-Infused Fine-Tuning for Structured Reasoning in Large Language Models

Wuyang Zhang, Yexin Tian, Xiandong Meng, Mengjie Wang, Junliang Du

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

RULEBREAKERS: Challenging LLMs at the Crossroads between Formal Logic and Human-like Reasoning

Jason Chan, Robert Gaizauskas, Zhixue Zhao

机构 * University of Sheffield, Sheffield, UK（谢菲尔德大学） 纠错

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

Comments Accepted by ICML 2025

System 2 Reasoning for Human-AI Alignment: Generality and Adaptivity via ARC-AGI

Sejin Kim, Sundong Kim

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

The Recursive Coherence Principle: A Formal Constraint on Scalable Intelligence, Alignment, and Reasoning Architecture

Andy E. Williams

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

Exploiting Constraint Reasoning to Build Graphical Explanations for Mixed-Integer Linear Programming

Roger Xavier Lera-Leri, Filippo Bistaffa, Athina Georgara, Juan Antonio Rodriguez-Aguilar

机构 * Artificial Intelligence Research Institute (IIIA-CSIC)（人工智能研究所（IIIA-CSIC）） ； University of Southampton（南安普顿大学） 纠错

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

Comments To appear in Lecture Notes in Artificial Intelligence

From Language to Logic: A Bi-Level Framework for Structured Reasoning

Keying Yang, Hao Wang, Kai Yang

机构 * Tongji University（同济大学） 纠错

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

Symbolic or Numerical? Understanding Physics Problem Solving in Reasoning LLMs

Nifu Dan, Yujun Cai, Yiwei Wang

机构 * Georgia Tech（佐治亚理工学院） ； University of Queensland（昆士兰大学） ； UC Merced（默塞德大学） 纠错

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

Debunk and Infer: Multimodal Fake News Detection via Diffusion-Generated Evidence and LLM Reasoning

Kaiying Yan, Moyang Liu, Yukun Liu, Ruibo Fu, Zhengqi Wen, Jianhua Tao, Xuefei Liu

机构 * Sun Yat-sen University（中山大学） ； Beihang University（北航） ； University of Chinese Academy of Sciences（中国科学院大学） ； Institute of Automation, Chinese Academy of Sciences（中国科学院自动化研究所） ； Beijing National Research Center for Information Science and Technology, Tsinghua University（北京信息科学与技术国家研究中心，清华大学） ； Department of Automation, Tsinghua University（清华大学自动化系） 纠错

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

TableMoE: Neuro-Symbolic Routing for Structured Expert Reasoning in Multimodal Table Understanding

Junwen Zhang, Pu Chen, Yin Zhang

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

Comments 43 pages and 11 figures

PSALM-V: Automating Symbolic Planning in Interactive Visual Environments with Large Language Models

Wang Bill Zhu, Miaosen Chai, Ishika Singh, Robin Jia, Jesse Thomason

机构 * Department of Computer Science University of Southern California（计算机科学系 美国南加州大学） 纠错

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

LR^2Bench: Evaluating Long-chain Reflective Reasoning Capabilities of Large Language Models via Constraint Satisfaction Problems

Jianghao Chen, Zhenlin Wei, Zhenjiang Ren, Ziyong Li, Jiajun Zhang

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

Comments ACL-2025, our code is available at https://github.com/ZNLP/LR2Bench

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems

Craig Steven Wright

机构 * Department of Computer Science University of Exeter（计算机科学系埃克塞特大学） 纠错

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

Comments 126 pages, 0 figures, includes formal frameworks and architecture blueprint; no prior version; suitable for submission under AI and Logic categories

RoE-FND: A Case-Based Reasoning Approach with Dual Verification for Fake News Detection via LLMs

Yuzhou Yang, Yangming Zhou, Zhiying Zhu, Zhenxing Qian, Xinpeng Zhang, Sheng Li

机构 * Fudan University（复旦大学） ； East China University of Science and Technology（东华大学） 纠错

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

Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering

Adam Ishay, Zhun Yang, Joohyung Lee, Ilgu Kang, Dongjae Lim

机构 * Arizona State University（亚利桑那州立大学） ； Samsung Research（三星研究） 纠错

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

Comments In Proceedings the IEEE/CVF Winter Conference on Applications of Computer Vision (WACV 2024)

Primender Sequence: A Novel Mathematical Construct for Testing Symbolic Inference and AI Reasoning

Mohd Anwar Jamal Faiz

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

Comments 9 pages, 7 figures, 2 tables, 3 codes, oeis sequence A384735

Bridging Logic and Learning: A Neural-Symbolic Approach for Enhanced Reasoning in Neural Models (ASPER)

Fadi Al Machot

机构 * Faculty of Science and Technology (REALTEK) Norwegian University of Life Sciences NMBU（科学与技术学院（REALTEK）挪威生命科学大学NMBU） 纠错

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

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