大模型推理能力

SCoTER: Structured Chain-of-Thought Transfer for Enhanced Recommendation

SCoTER: 结构化推理链转移以提升推荐

Jie Jiang, Yang Wu, Qian Li, Yuling Xiong, Hongbo Tang, Xun Liu, Haoze Wang, Jun Zhang, Huan Yu, Hailong Shi

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

AI总结 SCoTER通过结构化推理链转移提升推荐系统，解决推理模式发现和结构保持问题，实现推荐效果和成本的双重优化。

A Case Study of Selected PTQ Baselines for Reasoning LLMs on Ascend NPU

在Ascend NPU上对推理LLM的选定PTQ基线进行案例研究

Yuchen Luo, Fangyue Zhu, Ruining Zhou, Mingzhe Huang, Jian Zhu, Fanyu Fan, Wei Shao

机构 * School of Mathematics and Statistics, Wuhan University（武汉大学数学与统计学院） ； Huawei（华为公司） 纠错

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

AI总结 本文研究了在Ascend NPU上不同PTQ方法对推理LLM的影响，发现4位权重量化在大模型中可行，但激进方案存在稳定性问题，而8位量化更稳定，实际部署中动态量化开销限制了加速效果。

SciNets: Graph-Constrained Multi-Hop Reasoning for Scientific Literature Synthesis

SciNets: 图约束多跳推理用于科学文献综合

Sauhard Dubey

机构 * Jaypee Institute of Information Technology（杰伊佩 Institute 信息科技学院） 纠错

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

AI总结 SciNets通过图约束多跳推理实现科学文献综合，通过多跳路径连接罕见共现的概念，提升机制解释的稳定性和多样性。

Comments 19 pages, 2 figures

DiffThinker: Towards Generative Multimodal Reasoning with Diffusion Models

DiffThinker: 向基于扩散模型的生成多模态推理迈进

Zefeng He, Xiaoye Qu, Yafu Li, Tong Zhu, Siyuan Huang, Yu Cheng

机构 * Shanghai AI Laboratory（上海人工智能实验室） ； Nanjing University（南京大学） ； Shanghai Jiao Tong University（上海交通大学） ； The Chinese University of Hong Kong（香港中文大学） 纠错

专题命中 逻辑推理 ：reasoning(title,abstract)；planning(abstract)

AI总结 DiffThinker通过基于扩散模型的生成方法，在多模态推理任务中实现了更高效的视觉推理和更精确的空间处理，显著优于现有模型。

Comments Project page: https://diffthinker-project.github.io

CoTDeceptor:Adversarial Code Obfuscation Against CoT-Enhanced LLM Code Agents

CoTDeceptor：对抗增强CoT的LLM代码代理的对抗性代码混淆

Haoyang Li, Mingjin Li, Jinxin Zuo, Siqi Li, Xiao Li, Hao Wu, Yueming Lu, Xiaochuan He

专题命中 逻辑推理 ：CoT(title,abstract)；reasoning(abstract)

AI总结 CoTDeceptor通过构建多阶段混淆策略链，有效对抗增强CoT的LLM检测器，实现对14个漏洞类别的绕过。

Lang2Manip: A Tool for LLM-Based Symbolic-to-Geometric Planning for Manipulation

Lang2Manip: 一种基于LLM的符号到几何规划工具用于操作

Muhayy Ud Din, Jan Rosell, Waseem Akram, Irfan Hussain

机构 * Khalifa University Center for Autonomous Robotic Systems (KUCARS)（卡利法大学自主机器人系统中心） ； Khalifa University（卡利法大学） ； Institute of Industrial and Control Engineering (IOC)（工业与控制工程研究所） ； Universitat Politècnica de Catalunya（加泰罗尼亚理工大学） 纠错

专题命中 逻辑推理 ：planning(title,abstract)；reasoning(abstract)

AI总结 Lang2Manip通过结合LLM和Kautham框架，实现通用的符号到几何操作规划，适用于多种机器人和任务。

Comments Submitted to ICARA

NeSTR: A Neuro-Symbolic Abductive Framework for Temporal Reasoning in Large Language Models

NeSTR：一种用于大语言模型时间推理的神经符号抽象框架

Feng Liang, Weixin Zeng, Runhao Zhao, Xiang Zhao

机构 * National Key Laboratory of Big Data and Decision（大数据与决策国家重点实验室） 纠错

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

AI总结 NeSTR通过结合符号表示与反思推理，提升大语言模型在复杂时间约束下的推理能力。

Comments Accepted by AAAI 2026

Personalized Decision Modeling: Utility Optimization or Textualized-Symbolic Reasoning

Yibo Zhao, Yang Zhao, Hongru Du, Hao Frank Yang

机构 * Department of Civil and Systems Engineering（土木与系统工程系） ； Johns Hopkins University（约翰霍普金斯大学） ； Department of Systems and Information Engineering（系统与信息工程系） ； University of Virginia（弗吉尼亚大学） ； Johns Hopkins Data Science and AI Institute（约翰霍普金斯大学数据科学与人工智能研究所） 纠错

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

Teaching Transformers Causal Reasoning through Axiomatic Training

Aniket Vashishtha, Abhinav Kumar, Atharva Pandey, Abbavaram Gowtham Reddy, Kabir Ahuja, Vineeth N Balasubramanian, Amit Sharma

机构 * uiuc（伊利诺伊大学香槟分校） ； mit（麻省理工学院） ； msr（微软研究院） ； cispa（CISPA信息安全研究中心） 纠错

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

From Eigenmodes to Proofs: Integrating Graph Spectral Operators with Symbolic Interpretable Reasoning

Andrew Kiruluta, Priscilla Burity

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

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

AR$^2$: Adversarial Reinforcement Learning for Abstract Reasoning in Large Language Models

Cheng-Kai Yeh, Hsing-Wang Lee, Chung-Hung Kuo, Hen-Hsen Huang

机构 * Department of Mathematical Sciences National Chengchi University Taipei Taiwan（数学科学系 国立政治大学 台北 台湾） ； Department of Computer Science National Chengchi University Taipei Taiwan（计算机科学系 国立政治大学 台北 台湾） ； Institute of Information Science Academia Sinica Taipei Taiwan（信息科学研究所 中国学术院 台北 台湾） ； National Chengchi University（国立政治大学） 纠错

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

Comments 7 pages, accepted by CIKM 2025 as a short paper

Interpretable by AI Mother Tongue: Native Symbolic Reasoning in Neural Models

Hung Ming Liu

机构 * PARRAWA AI 纠错

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

Comments 25 pages, 9 figures. The AI Intuition Explorer dashboard is available at: https://cyrilliu1974.github.io/github.io/vi.html

Generative AI for Object-Oriented Programming: Writing the Right Code and Reasoning the Right Logic

Gang Xu, Airong Wang, Yushan Pan

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

VProChart: Answering Chart Question through Visual Perception Alignment Agent and Programmatic Solution Reasoning

Muye Huang, Lingling Zhang, Lai Han, Wenjun Wu, Xinyu Zhang, Jun Liu

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

Self-Reflective Reinforcement Learning for Diffusion-based Image Reasoning Generation

Jiadong Pan, Zhiyuan Ma, Kaiyan Zhang, Ning Ding, Bowen Zhou

机构 * Department of Electronic Engineering, Tsinghua University, Beijing, China（电子工程系，清华大学，北京，中国） ； Shanghai AI Laboratory, Shanghai, China（上海人工智能实验室，上海，中国） 纠错

专题命中 逻辑推理 ：reasoning(title,abstract)；CoT(abstract)

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design

Matthew DeLorenzo, Kevin Tieu, Prithwish Jana, Piyush Jha, Dileep Kalathil, Vijay Ganesh, Jeyavijayan Rajendran

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

Learning Representations for Reasoning: Generalizing Across Diverse Structures

Zhaocheng Zhu

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

Comments PhD thesis

Audio Entailment: Assessing Deductive Reasoning for Audio Understanding

Soham Deshmukh, Shuo Han, Hazim Bukhari, Benjamin Elizalde, Hannes Gamper, Rita Singh, Bhiksha Raj

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

Assessing the Emergent Symbolic Reasoning Abilities of Llama Large Language Models

Flavio Petruzzellis, Alberto Testolin, Alessandro Sperduti

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

Comments Accepted at 33rd International Conference on Artificial Neural Networks (ICANN24)

CriticBench: Benchmarking LLMs for Critique-Correct Reasoning

Zicheng Lin, Zhibin Gou, Tian Liang, Ruilin Luo, Haowei Liu, Yujiu Yang

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

Comments ACL 2024 Findings

A Systematic Comparison of Syllogistic Reasoning in Humans and Language Models

Tiwalayo Eisape, MH Tessler, Ishita Dasgupta, Fei Sha, Sjoerd van Steenkiste, Tal Linzen

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

Comments NAACL 2024

Language Model Guided Interpretable Video Action Reasoning

Ning Wang, Guangming Zhu, HS Li, Liang Zhang, Syed Afaq Ali Shah, Mohammed Bennamoun

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

Comments Accepted by CVPR 2024

Explainable Claim Verification via Knowledge-Grounded Reasoning with Large Language Models

Haoran Wang, Kai Shu

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

Comments Findings of EMNLP 2023

Weakly Supervised Reasoning by Neuro-Symbolic Approaches

Xianggen Liu, Zhengdong Lu, Lili Mou

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

Comments Compendium of Neurosymbolic Artificial Intelligence, 665--692, 2023, IOS Press

Reasoning with Multi-Structure Commonsense Knowledge in Visual Dialog

Shunyu Zhang, Xiaoze Jiang, Zequn Yang, Tao Wan, Zengchang Qin

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

Comments MULA Workshop, CVPR 2022

Conversational Multi-Hop Reasoning with Neural Commonsense Knowledge and Symbolic Logic Rules

Forough Arabshahi, Jennifer Lee, Antoine Bosselut, Yejin Choi, Tom Mitchell

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

Comments Appearing in the 2021 Conference on Empirical Methods in Natural Language Processing (EMNLP)

Conversational Neuro-Symbolic Commonsense Reasoning

Forough Arabshahi, Jennifer Lee, Mikayla Gawarecki, Kathryn Mazaitis, Amos Azaria, Tom Mitchell

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

Comments Appearing in the 35th AAAI international Conference on Artificial Intelligence, 2021

Augmenting Agent Platforms to Facilitate Conversation Reasoning

David Lillis, Rem W. Collier`

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

Journal ref In Languages, Methodologies, and Development Tools for Multi-Agent Systems - Third International Workshop, LADS 2010, Revised Selected Papers, Lecture Notes in Computer Science vol. 6822, pp. 56--75. Springer Berlin Heidelberg, 2011

Are you Talking Logic to Me? Assessing Language Models Syllogistic Reasoning Capabilities

你在跟我讲逻辑吗？评估语言模型的三段论推理能力

Hanna Abi Akl, Fabien Gandon, Catherine Faron, Pierre Monnin

机构 * Université Côte d’Azur（科特阿祖尔大学） ； Inria（法国国家信息与自动化研究所） ； CNRS（法国国家科学研究中心） ； I3S（信息科学与系统实验室） ； Data ScienceTech Institute（数据科学技术学院） 纠错

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

AI总结 该研究通过扩展FOLIO和P-FOLIO数据集，探究不同KR符号对SLMs三段论推理的影响，提出SEF分类法并开源CLGC框架，为提升小型模型推理能力提供了新方法。

Comments Accepted to the International Joint Conference on Rules and Reasoning (RuleML+RR) 2026

Enhancing Small Language Models Reasoning through Knowledge Graph Grounding

通过知识图谱基础增强小型语言模型推理

Dimitrios Kelesis, Konstantinos Bougiatiotis, Georgios Paliouras

机构 * Institute of Informatics and Telecommunications, National Center for Scientific Research “Demokritos（信息与电信研究所，国家科学研究中心“德谟克利特”） 纠错

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

AI总结 研究利用神经符号智能框架增强小型语言模型推理能力，通过特定工具调用转变模型，在两种场景下评估，发现虽提示提升性能，但受提取瓶颈等限制，还存在“干扰效应”，刻画了挑战并提供迭代验证路线图。

Comments Presented at the 2nd Causal Neuro-symbolic Artificial Intelligence (Causal NeSy): Toward Agentic LLMs with Neuro-Symbolic and Graph Based Reasoning Workshop @ ESWC2026