大模型推理能力

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas

Anjiang Wei, Yuheng Wu, Yingjia Wan, Tarun Suresh, Huanmi Tan, Zhanke Zhou, Sanmi Koyejo, Ke Wang, Alex Aiken

机构 * Stanford University（斯坦福大学） ； UCLA（加州大学洛杉矶分校） ； UIUC（伊利诺伊大学香槟分校） ； CMU（卡内基梅隆大学） ； Nanjing University（南京大学） 纠错

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

Reasoning Core: A Scalable RL Environment for LLM Symbolic Reasoning

Valentin Lacombe, Valentin Quesnel, Damien Sileo

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

SoundMind: RL-Incentivized Logic Reasoning for Audio-Language Models

Xingjian Diao, Chunhui Zhang, Keyi Kong, Weiyi Wu, Chiyu Ma, Zhongyu Ouyang, Peijun Qing, Soroush Vosoughi, Jiang Gui

机构 * Dartmouth College（达特茅斯学院） ； Shandong University（山东大学） 纠错

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

Comments Accepted to EMNLP 2025 Main Conference (Oral Presentation)

SymRTLO: Enhancing RTL Code Optimization with LLMs and Neuron-Inspired Symbolic Reasoning

Yiting Wang, Wanghao Ye, Ping Guo, Yexiao He, Ziyao Wang, Bowei Tian, Shwai He, Guoheng Sun, Zheyu Shen, Sihan Chen, Ankur Srivastava, Qingfu Zhang, Gang Qu, Ang Li

机构 * University of Maryland, College Park（马里兰大学科帕克分校） ； City University of Hong Kong（香港城市大学） ； University of Southern California（南加州大学） 纠错

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

Comments NeurIPS 2025

InMind: Evaluating LLMs in Capturing and Applying Individual Human Reasoning Styles

Zizhen Li, Chuanhao Li, Yibin Wang, Qi Chen, Diping Song, Yukang Feng, Jianwen Sun, Jiaxin Ai, Fanrui Zhang, Mingzhu Sun, Kaipeng Zhang

机构 * Nankai University（南开大学） ； Shanghai Innovation Institute（上海创新研究院） ； Shanghai AI Laboratory（上海人工智能实验室） ； Fudan University（复旦大学） ； Johns Hopkins University（约翰霍普金斯大学） ； Wuhan University（武汉大学） ； University of Science and Technology of China（中国科学技术大学） 纠错

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

Comments EMNLP 2025 MainConference

SQLForge: Synthesizing Reliable and Diverse Data to Enhance Text-to-SQL Reasoning in LLMs

Yu Guo, Dong Jin, Shenghao Ye, Shuangwu Chen, Jian Yang, Xiaobin Tan

机构 * University of Science and Technology of China（中国科学技术大学） ； Institute of Artificial Intelligence, Hefei Comprehensive National Science Center（合肥综合性国家科学中心人工智能研究院） 纠错

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

Comments 12 pages, 7 figures, accepted to ACL Findings 2025

Journal ref SQLForge: Synthesizing Reliable and Diverse Data to Enhance Text-to-SQL Reasoning in LLMs (Guo et al., Findings 2025)

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

XAgents: A Framework for Interpretable Rule-Based Multi-Agents Cooperation

Hailong Yang, Mingxian Gu, Renhuo Zhao, Fuping Hu, Zhaohong Deng, Yitang Chen

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

Comments We intend to substantially revise the problem statement and scope; therefore we withdraw the current version

Query, Don't Train: Privacy-Preserving Tabular Prediction from EHR Data via SQL Queries

Josefa Lia Stoisser, Marc Boubnovski Martell, Kaspar Märtens, Lawrence Phillips, Stephen Michael Town, Rory Donovan-Maiye, Julien Fauqueur

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

Question Answering with LLMs and Learning from Answer Sets

Manuel Borroto, Katie Gallagher, Antonio Ielo, Irfan Kareem, Francesco Ricca, Alessandra Russo

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

Comments Under consideration for TPLP journal

SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding

Pengfei He, Shaowei Wang, Tse-Hsun Chen

专题命中 逻辑推理 ：reasoning(abstract)

Comments 3 tables, 6 Figures, 12 pages

MORepair: Teaching LLMs to Repair Code via Multi-Objective Fine-tuning

Boyang Yang, Haoye Tian, Jiadong Ren, Hongyu Zhang, Jacques Klein, Tegawendé F. Bissyandé, Claire Le Goues, Shunfu Jin

专题命中 逻辑推理 ：CoT(abstract)

Journal ref ACM Transactions on Software Engineering and Methodology, 2025