大模型推理能力

FinCARE: Financial Causal Analysis with Reasoning and Evidence

Alejandro Michel, Abhinav Arun, Bhaskarjit Sarmah, Stefano Pasquali

机构 * Domyn 纠错

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

NeSyPr: Neurosymbolic Proceduralization For Efficient Embodied Reasoning

Wonje Choi, Jooyoung Kim, Honguk Woo

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

Comments Accepted at NeurIPS 2025

SheetBrain: A Neuro-Symbolic Agent for Accurate Reasoning over Complex and Large Spreadsheets

Ziwei Wang, Jiayuan Su, Mengyu Zhou, Huaxing Zeng, Mengni Jia, Xiao Lv, Haoyu Dong, Xiaojun Ma, Shi Han, Dongmei Zhang

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

Concise Reasoning in the Lens of Lagrangian Optimization

Chengqian Gao, Haonan Li, Taylor W. Killian, Jianshu She, Renxi Wang, Liqun Ma, Zhoujun Cheng, Shibo Hao, Zhiqiang Xu

机构 * Mohamed bin Zayed University of Artificial Intelligence（莫扎德·本·扎耶德人工智能大学） ； University of California San Diego（加州大学圣地亚哥分校） 纠错

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

SwarmSys: Decentralized Swarm-Inspired Agents for Scalable and Adaptive Reasoning

Ruohao Li, Hongjun Liu, Leyi Zhao, Zisu Li, Jiawei Li, Jiajun Jiang, Linning Xu, Chen Zhao, Mingming Fan, Chen Liang

机构 * The Hong Kong University of Science and Technology (Guangzhou)（香港科学与技术大学（广州）） ； New York University（纽约大学） ； The Hong Kong University of Science and Technology（香港科学与技术大学） ； NYU Shanghai（纽约大学上海分校） ； Indiana University（印第安纳大学） ； The Chinese University of Hong Kong（香港中文大学） 纠错

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

Comments 14 pages, 7 figures

LOGicalThought: Logic-Based Ontological Grounding of LLMs for High-Assurance Reasoning

Navapat Nananukul, Yue Zhang, Ryan Lee, Eric Boxer, Jonathan May, Vibhav Giridhar Gogate, Jay Pujara, Mayank Kejriwal

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

TReMu: Towards Neuro-Symbolic Temporal Reasoning for LLM-Agents with Memory in Multi-Session Dialogues

Yubin Ge, Salvatore Romeo, Jason Cai, Raphael Shu, Monica Sunkara, Yassine Benajiba, Yi Zhang

机构 * University of Illinois Urbana Champaign（伊利诺伊大学厄巴纳-香槟分校） ； Amazon Web Services（亚马逊网络服务） 纠错

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

Comments Accepted at ACL 2025 Findings

Semantic-Aware Fuzzing: An Empirical Framework for LLM-Guided, Reasoning-Driven Input Mutation

Mengdi Lu, Steven Ding, Furkan Alaca, Philippe Charland

机构 * School of Computing, Queen’s University（女王大学计算机学院） ； McGill University（麦吉尔大学） ； Defence R&D Canada（国防研发加拿大） 纠错

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

Neuro-symbolic Training for Reasoning over Spatial Language

Tanawan Premsri, Parisa Kordjamshidi

机构 * Department of Computer Science Michigan State University（计算机科学系密歇根州立大学） 纠错

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

Comments 9 pages, 4 figures, NAACL 2025 findings

Conformal Temporal Logic Planning using Large Language Models

Jun Wang, Jiaming Tong, Kaiyuan Tan, Yevgeniy Vorobeychik, Yiannis Kantaros

机构 * Washington University in St Louis（华盛顿大学圣路易斯分校） ； University of Zurich（苏黎世大学） ； Vanderbilt University（范德比尔特大学） 纠错

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

Comments accepted by ACM Transactions on Cyber-Physical Systems

Evaluating the Efficacy of LLM-Based Reasoning for Multiobjective HPC Job Scheduling

Prachi Jadhav, Hongwei Jin, Ewa Deelman, Prasanna Balaprakash

机构 * University of Tennessee, Knoxville\ Ridge National Laboratory Oak Ridge, TN USA ； Argonne National Laboratory Lemont, IL USA ； University of Southern California Los Angeles, CA USA ； Oak Ridge National Laboratory Oak Ridge, TN USA ； University of Tennessee, Knoxville\ Ridge National Laboratory ； Argonne National Laboratory ； University of Southern California ； Oak Ridge National Laboratory 纠错

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

Comments 10 pages, 6 figures, work under review

Language Models Coupled with Metacognition Can Outperform Reasoning Models

Vedant Khandelwal, Francesca Rossi, Keerthiram Murugesan, Erik Miehling, Murray Campbell, Karthikeyan Natesan Ramamurthy, Lior Horesh

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

Comments 37 Pages, 95 Figures

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