大模型推理能力

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

Scientific Hypothesis Generation and Validation: Methods, Datasets, and Future Directions

Adithya Kulkarni, Fatimah Alotaibi, Xinyue Zeng, Longfeng Wu, Tong Zeng, Barry Menglong Yao, Minqian Liu, Shuaicheng Zhang, Lifu Huang, Dawei Zhou

机构 * Virginia Tech（弗吉尼亚理工大学） ； University of California, Davis（加州大学戴维斯分校） 纠错

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

NSFlow: An End-to-End FPGA Framework with Scalable Dataflow Architecture for Neuro-Symbolic AI

Hanchen Yang, Zishen Wan, Ritik Raj, Joongun Park, Ziwei Li, Ananda Samajdar, Arijit Raychowdhury, Tushar Krishna

机构 * Georgia Institute of Technology（佐治亚理工学院） ； IBM Research（IBM研究院） 纠错

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

Comments 2025 IEEE/ACM Design Automation Conference (DAC)

Multi-agent Auto-Bidding with Latent Graph Diffusion Models

Dom Huh, Prasant Mohapatra

机构 * Department of Computer Science University of California, Davis（计算机科学系加州大学戴维斯分校） 纠错

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

Large Language Model Can Be a Foundation for Hidden Rationale-Based Retrieval

Luo Ji, Feixiang Guo, Teng Chen, Qingqing Gu, Xiaoyu Wang, Ningyuan Xi, Yihong Wang, Peng Yu, Yue Zhao, Hongyang Lei, Zhonglin Jiang, Yong Chen

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

Comments 10 pages, 3 figures, ECIR 2025

Geo-OLM: Enabling Sustainable Earth Observation Studies with Cost-Efficient Open Language Models & State-Driven Workflows

Dimitrios Stamoulis, Diana Marculescu

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

Differentially Private Steering for Large Language Model Alignment

Anmol Goel, Yaxi Hu, Iryna Gurevych, Amartya Sanyal

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

Comments ICLR 2025 Camera Ready; Code: https://github.com/UKPLab/iclr2025-psa

Logic-RAG: Augmenting Large Multimodal Models with Visual-Spatial Knowledge for Road Scene Understanding

Imran Kabir, Md Alimoor Reza, Syed Billah

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

Cross-Examiner: Evaluating Consistency of Large Language Model-Generated Explanations

Danielle Villa, Maria Chang, Keerthiram Murugesan, Rosario Uceda-Sosa, Karthikeyan Natesan Ramamurthy

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

Comments 21 pages, 4 figures

Provably Safe Neural Network Controllers via Differential Dynamic Logic

Samuel Teuber, Stefan Mitsch, André Platzer

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

Comments 39 pages (main paper has 10 pages), 13 figures; Accepted at the Thirty-Eighth Annual Conference on Neural Information Processing Systems (NeurIPS 2024)

Journal ref in Advances in Neural Information Processing Systems, 2024, pp. 1586-1624

Neuro-Symbolic Learning for Galois Groups: Unveiling Probabilistic Trends in Polynomials

Elira Shaska, Tony Shaska

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

Show, Don't Tell: Evaluating Large Language Models Beyond Textual Understanding with ChildPlay

Gonçalo Hora de Carvalho, Oscar Knap, Robert Pollice

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

Code-Vision: Evaluating Multimodal LLMs Logic Understanding and Code Generation Capabilities

Hanbin Wang, Xiaoxuan Zhou, Zhipeng Xu, Keyuan Cheng, Yuxin Zuo, Kai Tian, Jingwei Song, Junting Lu, Wenhui Hu, Xueyang Liu

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

Comments 15 pages