大模型推理能力

The Emergence of Altruism in Large-Language-Model Agents Society

Haoyang Li, Xiao Jia, Zhanzhan Zhao

机构 * Department of Sociology（社会学系） ； School of Artificial Intelligence（人工智能学院） ； School of Humanities and Social Science（人文社会科学学院） 纠错

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

R1-Fuzz: Specializing Language Models for Textual Fuzzing via Reinforcement Learning

Jiayi Lin, Liangcai Su, Junzhe Li, Chenxiong Qian

机构 * The University of Hong Kong（香港大学） 纠错

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

An Approach to Checking Correctness for Agentic Systems

Thomas J Sheffler

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

Comments 15 pages, 5 figures

Teaching Audio Models to Reason: A Unified Framework for Source- and Layer-wise Distillation

Runyan Yang, Yuke Si, Yingying Gao, Junlan Feng, Chao Deng, Shilei Zhang

机构 * Jiutian Artificial Intelligence Research Institute, China Mobile, Beijing, China（九天人工智能研究院，中国移动，北京） ； The State Key Laboratory of Multimedia Information Processing, Peking University, Beijing, China（多媒体信息处理国家重点实验室，北京大学，北京） 纠错

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

Comments 5 pages; submitted to ICASSP 2026

Visionerves: Automatic and Reproducible Hybrid AI for Peripheral Nervous System Recognition Applied to Endometriosis Cases

Giammarco La Barbera, Enzo Bonnot, Thomas Isla, Juan Pablo de la Plata, Joy-Rose Dunoyer de Segonzac, Jennifer Attali, Cécile Lozach, Alexandre Bellucci, Louis Marcellin, Laure Fournier, Sabine Sarnacki, Pietro Gori, Isabelle Bloch

机构 * IMAG2, Institut Imagine, Université Paris Cité, France（IMAG2研究所，Imagine机构，巴黎cité大学，法国） ； Replico SAS, Paris, France（Replico SAS公司，巴黎，法国） ； LTCI, Télécom Paris, Institut Polytechnique de Paris, France（LTCI研究所，巴黎电信学院，巴黎高等理工学院，法国） ； Université Paris Cité, Department of Pediatric Imaging, Hôpital Necker Enfants-Malades, Assistance Publique-Hôpitaux de Paris (AP-HP), France（巴黎cité大学，儿科影像部门，Necker儿童医院，巴黎公共医院（AP-HP），法国） ； Université Paris Cité, Department of Radiology, Hôpital Européen Georges Pompidou, AP-HP, France（巴黎cité大学，放射学部门，乔治·蓬皮杜欧洲医院，巴黎公共医院（AP-HP），法国） ； Université Paris Cité, Department of Gynecological Surgery and Oncology (Professor Chapron), Hôpital Cochin, AP-HP, France（巴黎cité大学，妇科外科与肿瘤学部门（教授Chapron），科医院，巴黎公共医院（AP-HP），法国） ； Department of Development, Reproduction and Cancer (Professor Batteux), Institut Cochin, Paris, France（发展、繁殖和癌症部门（教授Batteux），科医院，巴黎，法国） ； Université Paris Cité, Department of Pediatric Surgery, Hôpital Necker Enfants-Malades, AP-HP, France（巴黎cité大学，儿科外科部门，Necker儿童医院，巴黎公共医院（AP-HP），法国） ； Sorbonne Université, CNRS, LIP6, Paris（索邦大学，国家科学研究中心，LIP6研究所，巴黎） 纠错

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

Comments Computer-Aided Pelvic Imaging for Female Health (CAPI) - Workshop MICCAI 2025

Large Language Models as End-to-end Combinatorial Optimization Solvers

Xia Jiang, Yaoxin Wu, Minshuo Li, Zhiguang Cao, Yingqian Zhang

机构 * Eindhoven University of Technology（埃因霍温理工大学） ； Singapore Management University（新加坡管理学院） 纠错

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

Journal ref The 39th Annual Conference on Neural Information Processing Systems (NeurIPS 2025)

FSLI: An Interpretable Formal Semantic System for One-Dimensional Ordering Inference

Maha Alkhairy, Vincent Homer, Brendan O'Connor

机构 * University of Massachusetts Amherst（马萨诸塞大学阿默斯特分校） 纠错

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

Comments 3 figures, 9 pages main paper and 8 pages references and appendix

ATLANTIS: AI-driven Threat Localization, Analysis, and Triage Intelligence System

Taesoo Kim, HyungSeok Han, Soyeon Park, Dae R. Jeong, Dohyeok Kim, Dongkwan Kim, Eunsoo Kim, Jiho Kim, Joshua Wang, Kangsu Kim, Sangwoo Ji, Woosun Song, Hanqing Zhao, Andrew Chin, Gyejin Lee, Kevin Stevens, Mansour Alharthi, Yizhuo Zhai, Cen Zhang, Joonun Jang, Yeongjin Jang, Ammar Askar, Dongju Kim, Fabian Fleischer, Jeongin Cho, Junsik Kim, Kyungjoon Ko, Insu Yun, Sangdon Park, Dowoo Baik, Haein Lee, Hyeon Heo, Minjae Gwon, Minjae Lee, Minwoo Baek, Seunggi Min, Wonyoung Kim, Yonghwi Jin, Younggi Park, Yunjae Choi, Jinho Jung, Gwanhyun Lee, Junyoung Jang, Kyuheon Kim, Yeonghyeon Cha, Youngjoon Kim

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

Comments Version 1.0 (September 17, 2025). Technical Report. Team Atlanta -- 1st place in DARPA AIxCC Final Competition. Project page: https://team-atlanta.github.io/

Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models

Daniel Koh, Yannic Noller, Corina S. Pasareanu, Adrians Skapars, Youcheng Sun

机构 * Mohamed bin Zayed University of Artificial Intelligence（莫扎德·本·扎耶德人工智能大学） ； Carnegie Mellon University（卡内基梅隆大学） ； University of Manchester（曼彻斯特大学） 纠错

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

A Logic for Expressing Log-Precision Transformers

William Merrill, Ashish Sabharwal

机构 * New York University（纽约大学） ； Allen Institute for AI（人工智能研究院） 纠错

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

Comments May 24, 2023: Restructured version of old preprint. Oct 12, 2023: To appear at NeurIPS. Sept 10, 2025: minor technical corrections

MoLoRAG: Bootstrapping Document Understanding via Multi-modal Logic-aware Retrieval

Xixi Wu, Yanchao Tan, Nan Hou, Ruiyang Zhang, Hong Cheng

机构 * The Chinese University of Hong Kong（香港中文大学） ； Fuzhou University（福州大学） ； University of Macau（澳门大学） 纠错

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

Comments EMNLP Main 2025

Single Domain Generalization in Diabetic Retinopathy: A Neuro-Symbolic Learning Approach

Midhat Urooj, Ayan Banerjee, Farhat Shaikh, Kuntal Thakur, Sandeep Gupta

机构 * Impact Lab, Arizona State University（Impact实验室，亚利桑那州立大学） 纠错

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

Comments Accepted in ANSyA 2025: 1st International Workshop on Advanced Neuro-Symbolic Applications

Journal ref ANSyA 2025: 1st International Workshop on Advanced Neuro-Symbolic Applications

Murakkab: Resource-Efficient Agentic Workflow Orchestration in Cloud Platforms

Gohar Irfan Chaudhry, Esha Choukse, Haoran Qiu, Íñigo Goiri, Rodrigo Fonseca, Adam Belay, Ricardo Bianchini

机构 * MIT CSAIL（麻省理工学院计算机科学与人工智能实验室） ； Microsoft Azure Research -- Systems（微软Azure研究系统） ； Microsoft Azure（微软Azure） 纠错

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

Probabilistically stable revision and comparative probability: a representation theorem and applications

Krzysztof Mierzewski

机构 * Carnegie Mellon University（卡内基梅隆大学） 纠错

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

TRACE-CS: A Hybrid Logic-LLM System for Explainable Course Scheduling

Stylianos Loukas Vasileiou, William Yeoh

机构 * New Mexico State University（新墨西哥州立大学） ； Washington University in St. Louis（圣路易斯华盛顿大学） 纠错

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

Lagrangian Relaxation for Multi-Action Partially Observable Restless Bandits: Heuristic Policies and Indexability

Rahul Meshram, Kesav Kaza

机构 * Department of Electrical Engineering, Indian Institute of Technology Madras（印度理工学院马德拉斯分校电子工程系） ； Department of Electrical Engineering and Computer Science, University of Ottawa（渥太华大学电子工程与计算机科学系） 纠错

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

Comments 13 pages

Graded Transformers

Tony Shaska

机构 * Department of Mathematics ； Statistics, Oakland University, Rochester, MI 48309 纠错

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

Can Structured Templates Facilitate LLMs in Tackling Harder Tasks? : An Exploration of Scaling Laws by Difficulty

Zhichao Yang, Zhaoxin Fan, Gen Li, Yuanze Hu, Xinyu Wang, Ye Qiu, Xin Wang, Yifan Sun, Wenjun Wu

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

Comments 9 pages

PKG-DPO: Optimizing Domain-Specific AI systems with Physics Knowledge Graphs and Direct Preference Optimization

Nitin Nagesh Kulkarni, Bryson Wilcox, Max Sawa, Jason Thom

机构 * Advanced Engineering and Technology（先进工程与技术） 纠错

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

Source Code Summarization in the Era of Large Language Models

Weisong Sun, Yun Miao, Yuekang Li, Hongyu Zhang, Chunrong Fang, Yi Liu, Gelei Deng, Yang Liu, Zhenyu Chen

机构 * College of Computing and Data Science, Nanyang Technological University Singapore（计算与数据科学学院，新加坡南洋理工大学） ； State Key Laboratory for Novel Software Technology, Nanjing University（新型软件技术国家重点实验室，南京大学） ； School of Computer Science and Engineering, University of New South Wales（计算机科学与工程学院，新南威尔士大学） ； School of Big Data and Software Engineering, Chongqing University（大数据与软件工程学院，重庆大学） 纠错

专题命中 逻辑推理 ：chain-of-thought(abstract)；分类 cs.AI

Comments Accepted to the 47th International Conference on Software Engineering (ICSE 2025)

Synthesizing Evolving Symbolic Representations for Autonomous Systems

Gabriele Sartor, Angelo Oddi, Riccardo Rasconi, Vieri Giuliano Santucci, Rosa Meo

机构 * Institute for Cognitive Sciences and Technologies（认知科学与技术研究所） 纠错

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

Journal ref Prog.Artif.Intell.(2025)

Boolean Matrix Logic Programming on the GPU

Lun Ai

机构 * Department of Computing, Imperial College London, London, UK（计算系，伦敦帝国学院，伦敦，英国） ； Department of Life Sciences, Imperial College London, London, UK（生命科学系，伦敦帝国学院，伦敦，英国） 纠错

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

Can Transformers Break Encryption Schemes via In-Context Learning?

Jathin Korrapati, Patrick Mendoza, Aditya Tomar, Abein Abraham

机构 * UC Berkeley（伯克利大学） 纠错

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

Integrating Neurosymbolic AI in Advanced Air Mobility: A Comprehensive Survey

Kamal Acharya, Iman Sharifi, Mehul Lad, Liang Sun, Houbing Song

机构 * Department of Information Systems, University of Maryland, Baltimore County（信息系统系，马里兰大学巴尔的摩分校） ； Department of Mechanical and Aerospace Engineering, The George Washington University（机械与航空航天工程系，乔治华盛顿大学） ； Department of Mechanical Engineering, Baylor University（机械工程系，贝勒大学） 纠错

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

Comments 9 pages, 4 figures, IJCAI-2025 (accepted)

GenEscape: Hierarchical Multi-Agent Generation of Escape Room Puzzles

Mengyi Shan, Brian Curless, Ira Kemelmacher-Shlizerman, Steve Seitz

机构 * University of Washington（华盛顿大学） 纠错

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

An Auditable Agent Platform For Automated Molecular Optimisation

Atabey Ünlü, Phil Rohr, Ahmet Celebi

机构 * DeltaWave 纠错

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

Relation-Aware LNN-Transformer for Intersection-Centric Next-Step Prediction

Zhehong Ren, Tianluo Zhang, Yiheng Lu, Yushen Liang, Promethee Spathis

机构 * New York University Shanghai（纽约大学上海） 纠错

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

Comments 8 pages, 5 figures

AutoPLC: Generating Vendor-Aware Structured Text for Programmable Logic Controllers

Donghao Yang, Aolang Wu, Tianyi Zhang, Li Zhang, Fang Liu, Xiaoli Lian, Yuming Ren, Jiaji Tian, Xiaoyin Che

机构 * Beihang University, China（北京航空航天大学） ； Siemens AG（西门子股份公司） 纠错

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

Comments 12 pages, 3 figures. Replaces "A Multi-Agent Framework for Extensible Structured Text Generation in PLCs" with an updated AutoPLC framework and new experiments

Composable OS Kernel Architectures for Autonomous Intelligence

Rajpreet Singh, Vidhi Kothari

机构 * TU Munich, Germany（慕尼黑技术大学） ； Pace University, New York, USA（帕克大学） 纠错

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

Comments 8 pages

URPO: A Unified Reward & Policy Optimization Framework for Large Language Models

Songshuo Lu, Hua Wang, Zhi Chen, Yaohua Tang

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