大模型推理能力

Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems

Tuan Bui, Trong Le, Phat Thai, Sang Nguyen, Minh Hua, Ngan Pham, Thang Bui, Tho Quan

机构 * Ho Chi Minh City University of Technology (HCMUT)（胡志明市技术大学） 纠错

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

Comments 8 pages, 3 figures. Accepted at the International Joint Conference on Neural Networks (IJCNN) 2025, Workshop on Trustworthiness and Reliability in Neuro-Symbolic AI. https://2025.ijcnn.org

Learning neuro-symbolic convergent term rewriting systems

Flavio Petruzzellis, Alberto Testolin, Alessandro Sperduti

机构 * Department One（部门一） ； Department Two（部门二） ； Department of Mathematics, University of Padova（帕多瓦大学数学系） ； Department of General Psychology, University of Padova（帕多瓦大学普通心理学系） ； Augmented Intelligence Center, Fondazione Bruno Kessler（布鲁诺·凯塞勒基金会增强智能中心） 纠错

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

Comments 48 pages, 31 figures. Submitted for review by Artificial Intelligence Journal

AQuilt: Weaving Logic and Self-Inspection into Low-Cost, High-Relevance Data Synthesis for Specialist LLMs

Xiaopeng Ke, Hexuan Deng, Xuebo Liu, Jun Rao, Zhenxi Song, Jun Yu, Min Zhang

机构 * Institute of Computing and Intelligence, Harbin Institute of Technology, Shenzhen, China（计算与智能研究院，哈尔滨工业大学（深圳）） ； School of Intelligence Science and Engineering, Harbin Institute of Technology, Shenzhen, China（智能科学与工程学院，哈尔滨工业大学（深圳）） 纠错

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

Comments 32 pages, 4 figures

A comprehensive study of LLM-based argument classification: from LLAMA through GPT-4o to Deepseek-R1

Marcin Pietroń, Rafał Olszowski, Jakub Gomułka, Filip Gampel, Andrzej Tomski

机构 * Faculty of Computer Science, Electronics, and Telecommunications AGH University of Krakow（计算机科学、电子与电信学院AGH克拉科夫大学） ； Faculty of Humanities AGH University of Krakow（人文学院AGH克拉科夫大学） ； Institute of Mathematics University of Silesia（数学学院桑特学院） 纠错

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

The Constitutional Controller: Doubt-Calibrated Steering of Compliant Agents

Simon Kohaut, Felix Divo, Navid Hamid, Benedict Flade, Julian Eggert, Devendra Singh Dhami, Kristian Kersting

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

Cognitive Castes: Artificial Intelligence, Epistemic Stratification, and the Dissolution of Democratic Discourse

Craig S Wright

机构 * Exeter.ac.uk（埃克塞特大学） 纠错

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

Comments 42 Pages; Approx. 10,000 words, no figures. Theoretical contribution with interdisciplinary scope

AgentPS: Agentic Process Supervision for Content Moderation with Multimodal LLMs

Mingchao Liu, Yu Sun, Ruixiao Sun, Xin Dong, Xiang Shen, Hongyu Xiong

机构 * TikTok, Inc.（字节跳动公司） 纠错

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

Comments 10 pages, 5 figures

Fast and Simplex: 2-Simplicial Attention in Triton

Aurko Roy, Timothy Chou, Sai Surya Duvvuri, Sijia Chen, Jiecao Yu, Xiaodong Wang, Manzil Zaheer, Rohan Anil

机构 * Meta 纠错

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

Comments 10 pages, with appendix 25 pages

Cognitive Load-Aware Inference: A Neuro-Symbolic Framework for Optimizing the Token Economy of Large Language Models

Yilun Zhang

机构 * Prompt Technology Co., Ltd（提示技术有限公司） 纠错

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

Comments 23 pages

CF-VLM:CounterFactual Vision-Language Fine-tuning

Jusheng Zhang, Kaitong Cai, Yijia Fan, Jian Wang, Keze Wang

机构 * Sun Yat-sen University（中山大学） ； Snap Inc.（Snap公司） 纠错

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

QiMeng-Attention: SOTA Attention Operator is generated by SOTA Attention Algorithm

Qirui Zhou, Shaohui Peng, Weiqiang Xiong, Haixin Chen, Yuanbo Wen, Haochen Li, Ling Li, Qi Guo, Yongwei Zhao, Ke Gao, Ruizhi Chen, Yanjun Wu, Chen Zhao, Yunji Chen

机构 * SKL of Processors, Institute of Computing Technology, CAS（处理器国家重点实验室，计算技术研究所，中国科学院） ； Intelligent Software Research Center, Institute of Software, CAS（智能软件研究中心，软件研究所，中国科学院） ； University of Chinese Academy of Sciences（中国科学院大学） 纠错

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

ACCORD: Autoregressive Constraint-satisfying Generation for COmbinatorial Optimization with Routing and Dynamic attention

Henrik Abgaryan, Tristan Cazenave, Ararat Harutyunyan

机构 * LAMSADE, Université Paris Dauphine-PSL（LAMSADE，巴黎Dauphine-PSL大学） 纠错

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

Token Constraint Decoding Improves Robustness on Question Answering for Large Language Models

Jui-Ming Yao, Hao-Yuan Chen, Zi-Xian Tang, Bing-Jia Tan, Sheng-Wei Peng, Bing-Cheng Xie, Shun-Feng Su

机构 * Department of Computer Science and Information Engineering（计算机科学与信息工程系） ； National Taiwan University of Science and Technology（台湾科技大学） ； Bachelor’s Program in Computer Science（计算机科学学士班） ； University of London（伦敦大学） 纠错

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

Propositional Logic for Probing Generalization in Neural Networks

Anna Langedijk, Jaap Jumelet, Willem Zuidema

机构 * University of Amsterdam（阿姆斯特丹大学） ； CLCG, Rijksuniversiteit Groningen（CLCG，格罗宁根大学） ； ILLC, University of Amsterdam（ILLC，阿姆斯特丹大学） 纠错

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

Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference

Andrei T. Patrascu

机构 * FAST Foundation（FAST基金会） 纠错

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

KG-BiLM: Knowledge Graph Embedding via Bidirectional Language Models

Zirui Chen, Xin Wang, Zhao Li, Wenbin Guo, Dongxiao He

机构 * College of Intelligence and Computing（智能与计算学院） 纠错

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

Policy Induction: Predicting Startup Success via Explainable Memory-Augmented In-Context Learning

Xianling Mu, Joseph Ternasky, Fuat Alican, Yigit Ihlamur

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

ROGRAG: A Robustly Optimized GraphRAG Framework

Zhefan Wang, Huanjun Kong, Jie Ying, Wanli Ouyang, Nanqing Dong

机构 * Shanghai Artificial Intelligence Laboratory（上海人工智能实验室） ； Shanghai Innovation Institute（上海创新研究院） ； Chinese University of Hong Kong（香港中文大学） 纠错

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

Comments ACL2025 demo track, 10 pages

Exploring Multi-Modal Data with Tool-Augmented LLM Agents for Precise Causal Discovery

ChengAo Shen, Zhengzhang Chen, Dongsheng Luo, Dongkuan Xu, Haifeng Chen, Jingchao Ni

机构 * University of Houston（德克萨斯大学休斯顿分校） ； NEC Laboratories America（NEC美国实验室） ； Florida International University（佛罗里达国际大学） ； North Carolina State University（北卡罗来纳州立大学） 纠错

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

Large Language Model Meets Constraint Propagation

Alexandre Bonlarron, Florian Régin, Elisabetta De Maria, Jean-Charles Régin

机构 * Université Côte d’Azur（法国南海岸大学） ； CNRS（法国国家科学研究中心） ； I3S（信息科学与系统研究所） 纠错

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

Comments To appear in the Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2025)

Language Agents with Reinforcement Learning for Strategic Play in the Werewolf Game

Zelai Xu, Chao Yu, Fei Fang, Yu Wang, Yi Wu

机构 * Zelai Xu（泽来许） ； Chao Yu（姚朝） ； Fei Fang（方飞） ； Yu Wang（王宇） ； Yi Wu（吴毅） 纠错

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

Comments Published in ICML 2024

THiNK: Can Large Language Models Think-aloud?

Yongan Yu, Mengqian Wu, Yiran Lin, Nikki G. Lobczowski

机构 * McGill University（麦吉尔大学） 纠错

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

Generalizing Large Language Model Usability Across Resource-Constrained

Yun-Da Tsai

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

Comments Doctoral disstertation

Large Language Models Are Involuntary Truth-Tellers: Exploiting Fallacy Failure for Jailbreak Attacks

Yue Zhou, Henry Peng Zou, Barbara Di Eugenio, Yang Zhang

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

Comments Accepted to the main conference of EMNLP 2024

Programmatic Video Prediction Using Large Language Models

Hao Tang, Kevin Ellis, Suhas Lohit, Michael J. Jones, Moitreya Chatterjee

机构 * Mitsubishi Electric Research Laboratories (MERL)（三菱电机研究实验室（MERL）） 纠错

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

Scaling Laws for State Dynamics in Large Language Models

Jacob X Li, Shreyas S Raman, Jessica Wan, Fahad Samman, Jazlyn Lin

机构 * Brown University（布朗大学） 纠错

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

Comments 16 pages; 23 figures

NeSyA: Neurosymbolic Automata

Nikolaos Manginas, George Paliouras, Luc De Raedt

机构 * Department of Computer Science and Leuven.AI, KU Leuven, Belgium（1 计算机科学系和 Leuven.AI，KU Leuven，比利时） ； Centre for Applied Autonomous Sensor Systems (AASS), Örebro University, Sweden（3 应用自主传感器系统中心（AASS），Örebro大学，瑞典） 纠错

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

CPGD: Toward Stable Rule-based Reinforcement Learning for Language Models

Zongkai Liu, Fanqing Meng, Lingxiao Du, Zhixiang Zhou, Chao Yu, Wenqi Shao, Qiaosheng Zhang

机构 * Sun Yat-Sen University（中山大学） ； Shanghai Innovation Institute（上海创新研究院） ； Shanghai AI Laboratory（上海人工智能实验室） ； Shanghai Jiao Tong University（上海交通大学） 纠错

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

UC-MOA: Utility-Conditioned Multi-Objective Alignment for Distributional Pareto-Optimality

Zelei Cheng, Xin-Qiang Cai, Yuting Tang, Pushi Zhang, Boming Yang, Masashi Sugiyama, Xinyu Xing

机构 * Northwestern University（西北大学） ； RIKEN-AIP（日本理化学研究所-AIP） ； The University of Tokyo（东京大学） ； Microsoft Research Asia（微软亚洲研究院） 纠错

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

Comments Language Modeling, Machine Learning for NLP, Distributional Pareto-Optimal

Shuttle Between the Instructions and the Parameters of Large Language Models

Wangtao Sun, Haotian Xu, Huanxuan Liao, Xuanqing Yu, Zhongtao Jiang, Shizhu He, Jun Zhao, Kang Liu

机构 * The Laboratory of Cognition and Decision Intelligence for Complex Systems, Institute of Automation, Chinese Academy of Sciences（认知与决策智能复杂系统实验室，自动化研究所，中国科学院） ； School of Artificial Intelligence, University of Chinese Academy of Sciences（人工智能学院，中国科学院大学） ； Xiaohongshu Inc（小红书公司） ； Kuaishou Technology（快手技术） ； Shanghai Artificial Intelligence Laboratory（上海人工智能实验室） 纠错

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