大模型推理能力

Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems

Angelo Ferrando

机构 * University of Modena and Reggio Emilia（摩德纳和雷吉奥艾米利亚大学） 纠错

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments In Proceedings FMAS 2025, arXiv:2511.13245

Journal ref EPTCS 436, 2025, pp. 80-87

Grounded by Experience: Generative Healthcare Prediction Augmented with Hierarchical Agentic Retrieval

Chuang Zhao, Hui Tang, Hongke Zhao, Xiaofang Zhou, Xiaomeng Li

机构 * Department of Electronic and Computer Engineering, The Hong Kong University of Science and Technology（电子与计算机工程系，香港科技大学） ； College of Management and Economics, Laboratory of Computation and Analytics of Complex Management Systems (CACMS), Tianjin University（管理学院与经济学学院，复杂管理系统的计算与分析实验室，天津大学） ； Department of Computer Science and Engineering, The Hong Kong University of Science and Technology（计算机科学与工程系，香港科技大学） 纠错

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

SITA: A Framework for Structure-to-Instance Theorem Autoformalization

Chenyi Li, Wanli Ma, Zichen Wang, Zaiwen Wen

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Enhancing Conflict Resolution in Language Models via Abstract Argumentation

Zhaoqun Li, Xiaotong Fang, Chen Chen, Mengze Li, Beishui Liao

机构 * School of Philosophy, Zhejiang University（浙江大学哲学系） ； College of Computer Science and Technology, Zhejiang University（浙江大学计算机科学与技术学院） ； The State Key Lab of Brain-Machine Intelligence（脑机智能国家重点实验室） 纠错

专题命中 代码与定理证明 ：chain-of-thought(abstract)；分类 cs.AI

OR-R1: Automating Modeling and Solving of Operations Research Optimization Problem via Test-Time Reinforcement Learning

Zezhen Ding, Zhen Tan, Jiheng Zhang, Tianlong Chen

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments 9 pages, 5 figures, AAAI 2026

Towards AI-Assisted Generation of Military Training Scenarios

Soham Hans, Volkan Ustun, Benjamin Nye, James Sterrett, Matthew Green

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Increasing AI Explainability by LLM Driven Standard Processes

Marc Jansen, Marcel Pehlke

机构 * Computer Science Institute University of Applied Sciences Ruhr West Bottrop（应用科学鲁尔西贝特大学计算机科学研究所） 纠错

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Prioritize Economy or Climate Action? Investigating ChatGPT Response Differences Based on Inferred Political Orientation

Pelin Karadal, Dilara Kekulluoglu

机构 * Sabanci University（萨班奇大学） 纠错

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward

Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh

机构 * Huawei Hong Kong Research Center（华为香港研究中心） ； Department of Computer Science & Engineering, The Chinese University of Hong Kong（香港中文大学计算机科学与工程系） 纠错

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

A Survey on LLM Mid-Training

Chengying Tu, Xuemiao Zhang, Rongxiang Weng, Rumei Li, Chen Zhang, Yang Bai, Hongfei Yan, Jingang Wang, Xunliang Cai

机构 * Peking University（北京大学） ； Meituan（美团） 纠错

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL

Inferring multiple helper Dafny assertions with LLMs

Álvaro Silva, Alexandra Mendes, Ruben Martins

机构 * INESC TEC, Faculty of Engineering, University of Porto（葡萄牙波尔图大学工程学院INESC TEC） ； Computer Science Department of Carnegie Mellon University（卡内基梅隆大学计算机科学系） 纠错

专题命中 代码与定理证明 ：verifier(abstract)；分类 cs.AI

Towards the Formalization of a Trustworthy AI for Mining Interpretable Models explOiting Sophisticated Algorithms

Riccardo Guidotti, Martina Cinquini, Marta Marchiori Manerba, Mattia Setzu, Francesco Spinnato

机构 * University of Pisa（比萨大学） 纠错

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

AI-Enhanced Operator Assistance for UNICOS Applications

Bernard Tam, Jean-Charles Tournier, Fernando Varela Rodriguez

机构 * The University of Sydney（悉尼大学） 纠错

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments Prepared as part of the CERN openlab programme 2025. Also available on Zenodo, a repository operated by CERN and co-funded by the European Union

Proof2Silicon: Prompt Repair for Verified Code and Hardware Generation via Reinforcement Learning

Manvi Jha, Jiaxin Wan, Deming Chen

机构 * Electrical and Computer Engineering（电气与计算机工程系） ； University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校） 纠错

专题命中 代码与定理证明 ：verifier(abstract)；分类 cs.AI

ParaVul: A Parallel Large Language Model and Retrieval-Augmented Framework for Smart Contract Vulnerability Detection

Tenghui Huang, Jinbo Wen, Jiawen Kang, Siyong Chen, Zhengtao Li, Tao Zhang, Dongning Liu, Jiacheng Wang, Chengjun Cai, Yinqiu Liu, Dusit Niyato

机构 * School of Automation, Guangdong University of Technology（广东科技大學自動化學院） ； College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics（南京航空航天大學計算機科學與技術學院） ； School of Cyberspace Science and Technology, Beijing Jiaotong University（北京交通大學網絡空間科學與技術學院） ； School of Computer Science and Technology, Guangdong University of Technology（廣東科技大學計算機科學與技術學院） ； College of Computing and Data Science, Nanyang Technological University（南洋理工大學計算與數據科學學院） 纠错

专题命中 代码与定理证明 ：chain-of-thought(abstract)；分类 cs.AI

MoM: Mixtures of Scenario-Aware Document Memories for Retrieval-Augmented Generation Systems

Jihao Zhao, Zhiyuan Ji, Simin Niu, Hanyu Wang, Feiyu Xiong, Zhiyu Li

机构 * School of Information, Renmin University of China, Beijing, China（中国人民大学信息学院） ； MemTensor (Shanghai) Technology Co., Ltd.（MemTensor（上海）技术有限公司） ； Institute for Advanced Algorithms Research, Shanghai（上海先进算法研究所） 纠错

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL

When Names Disappear: Revealing What LLMs Actually Understand About Code

Cuong Chi Le, Minh V. T. Pham, Cuong Duc Van, Hoang N. Phan, Huy N. Phan, Tien N. Nguyen

机构 * FPT Software AI Center（FPT软件AI中心） ； Nanyang Technological University（南洋理工大学） ； University of Texas at Dallas（德克萨斯大学达拉斯分校） 纠错

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL

EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty

Yuchen Tian, Ruiyuan Huang, Xuanwu Wang, Jing Ma, Zengfeng Huang, Ziyang Luo, Hongzhan Lin, Da Zheng, Lun Du

机构 * Hong Kong Baptist University（香港 Baptist 大学） ； Ant Group（蚂蚁集团） ； School of Data Science, Fudan University（复旦大学数据科学学院） 纠错

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Transparent, Evaluable, and Accessible Data Agents: A Proof-of-Concept Framework

Nooshin Bahador

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments 20 pages, 11 figures

Bridging Language Models and Formal Methods for Intent-Driven Optical Network Design

Anis Bekri, Amar Abane, Abdella Battou, Saddek Bensalem

机构 * National Institute of Standards and Technology（美国国家标准技术研究院） 纠错

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments Accepted at AICCSA 2025

Automated Multi-Agent Workflows for RTL Design

Amulya Bhattaram, Janani Ramamoorthy, Ranit Gupta, Diana Marculescu, Dimitrios Stamoulis

机构 * Chandra Family Department of Electrical and Computer Engineering（查克拉家族电子与计算机工程系） 纠错

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments Accepted: ML for Systems Workshop NeurIPS 2025

From Language to Cognition: How LLMs Outgrow the Human Language Network

Badr AlKhamissi, Greta Tuckute, Yingtian Tang, Taha Binhuraib, Antoine Bosselut, Martin Schrimpf

机构 * EPFL（苏黎世联邦理工学院） ； MIT（麻省理工学院） ； Georgia Institute of Technology（佐治亚理工学院） 纠错

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL

Comments EMNLP 2025. Project Page at https://language-to-cognition.epfl.ch

Challenging the Evaluator: LLM Sycophancy Under User Rebuttal

Sungwon Kim, Daniel Khashabi

机构 * Johns Hopkins University（约翰霍普金斯大学） 纠错

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL

Comments Accepted to EMNLP 2025 Findings

Orion: Fuzzing Workflow Automation

Max Bazalii, Marius Fleischer

机构 * NVIDIA 纠错

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments 11 pages, 3 figures, 3 tables

Agentic JWT: A Secure Delegation Protocol for Autonomous AI Agents

Abhishek Goswami

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments 17 pages, 6 figures, 2 Tables

Neural cellular automata: applications to biology and beyond classical AI

Benedikt Hartl, Michael Levin, Léo Pio-Lopez

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Contradictions

Yang Xu, Shuwei Chen, Xiaomei Zhong, Jun Liu, Xingxing He

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments 37 Pages,9 figures

The Application of Virtual Environments and Artificial Intelligence in Higher Education: Experimental Findings in Philosophy Teaching

Adel Vehrer, Zsolt Palfalusi

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Are formal and functional linguistic mechanisms dissociated in language models?

Michael Hanna, Yonatan Belinkov, Sandro Pezzelle

机构 * Institute for Logic, Language and Computation University of Amsterdam（逻辑、语言与计算研究所 阿姆斯特丹大学） ； Technion – Israel Institute of Technology（技术ion-以色列理工学院） 纠错

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL

Comments To appear in Computational Linguistics. Pre-MIT Press publication version. 40 pages, 14 figures, 3 tables. Code available at https://github.com/hannamw/formal-functional-dissociation

Limit-Computable Grains of Truth for Arbitrary Computable Extensive-Form (Un)Known Games

Cole Wyeth, Marcus Hutter, Jan Leike, Jessica Taylor

机构 * David R. Cheriton School of Computer Science, University of Waterloo（多伦多大学大卫·R·切里顿计算机科学学院） ； Google DeepMind and Australian National University（谷歌DeepMind和澳大利亚国立大学） ； Anthropic（Anthropic公司） ； Median Group（Median集团） 纠错

专题命中 代码与定理证明 ：planning(abstract)；分类 cs.LG

Comments 42 pages; 2 figures; 7 algorithms