大模型推理能力

Facets in Argumentation: A Formal Approach to Argument Significance

Johannes Fichte, Nicolas Fröhlich, Markus Hecher, Victor Lagerkvist, Yasir Mahmood, Arne Meier, Jonathan Persson

机构 * Department of Computer and Information Science, Linköping University, Sweden（林雪平大学计算机与信息科学系） ； Leibniz Universität Hannover, Germany（汉诺威莱布尼茨大学） ； Univ. Artois, CNRS, France（阿诺伊大学） ； CSAIL, Massachusetts Institute of Technology, USA（麻省理工学院计算机科学与人工智能实验室） ； DICE group, Paderborn University, Germany（波德生大学DICE小组） 纠错

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

MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation

Zhenwen Liang, Linfeng Song, Yang Li, Tao Yang, Feng Zhang, Haitao Mi, Dong Yu

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

Comments Work in Progress

Multi-Agent Path Finding For Large Agents Is Intractable

Artem Agafonov, Konstantin Yakovlev

机构 * HSE University（莫斯科国立高等经济大学） ； FRC CSC RAS（俄罗斯科学院应用系统分析研究所） ； AIRI（人工智能研究所） 纠错

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

The Truth Becomes Clearer Through Debate! Multi-Agent Systems with Large Language Models Unmask Fake News

Yuhan Liu, Yuxuan Liu, Xiaoqing Zhang, Xiuying Chen, Rui Yan

机构 * Gaoling School of Artificial Intelligence, Renmin University of China（仁爱大学人工智能学院） ； Mohamed bin Zayed University of Artificial Intelligence（穆罕默德·本·扎耶德人工智能大学） 纠错

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

Comments SIGIR 2025

Logical Modalities within the European AI Act: An Analysis

Lara Lawniczak, Christoph Benzmüller

机构 * University of Bamberg（巴姆堡大学） ； Freie Universität Berlin（柏林自由大学） 纠错

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

Comments Extended preprint of paper accepted for ICAIL 2025; 15 pages, 19 figures

CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics

Junqi Liu, Xiaohan Lin, Jonas Bayer, Yael Dillies, Weijie Jiang, Xiaodan Liang, Roman Soletskyi, Haiming Wang, Yunzhou Xie, Beibei Xiong, Zhengfeng Yang, Jujian Zhang, Lihong Zhi, Jia Li, Zhengying Liu

机构 * Academy of Mathematics and Systems Science, University of Chinese Academy of Sciences（中国科学院数学与系统科学研究院） ； Sun Yat-sen University（中山大学） ； University of Cambridge（剑桥大学） ； East China Normal University（华东师范大学） ； Imperial College London（伦敦帝国理工学院） ； Stockholm Universitet（斯德哥尔摩大学） ； Numina ； Moonshot AI 纠错

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

From Texts to Shields: Convergence of Large Language Models and Cybersecurity

Tao Li, Ya-Ting Yang, Yunian Pan, Quanyan Zhu

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

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

Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity

Dylan Zhang, Justin Wang, Tianran Sun

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

Interpreting the structure of multi-object representations in vision encoders

Tarun Khajuria, Braian Olmiro Dias, Marharyta Domnich, Jaan Aru

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

Data quality dimensions for fair AI

Camilla Quaresmini, Giuseppe Primiero

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

The Axiom-Based Atlas: A Structural Mapping of Theorems via Foundational Proof Vectors

Harim Yoo

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

A Theoretical Framework for Prompt Engineering: Approximating Smooth Functions with Transformer Prompts

Ryumei Nakada, Wenlong Ji, Tianxi Cai, James Zou, Linjun Zhang

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

Comments 55 pages, 2 figures

Statistical Proof of Execution (SPEX)

Michele Dallachiesa, Antonio Pitasi, David Pinger, Josh Goodbody, Luis Vaello

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

Medical Large Language Model Benchmarks Should Prioritize Construct Validity

Ahmed Alaa, Thomas Hartvigsen, Niloufar Golchini, Shiladitya Dutta, Frances Dean, Inioluwa Deborah Raji, Travis Zack

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

Lawful and Accountable Personal Data Processing with GDPR-based Access and Usage Control in Distributed Systems

L. Thomas van Binsbergen, Marten C. Steketee, Milen G. Kebede, Heleen L. Janssen, Tom M. van Engers

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

Comments Submitted for review to the Journal of AI and Law, 49 pages (including)

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis

Ahmad Hafez, Alireza Naderi Akhormeh, Amr Hegazy, Amr Alanwar

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

Decoupling the components of geometric understanding in Vision Language Models

Eliza Kosoy, Annya Dahmani, Andrew K. Lampinen, Iulia M. Comsa, Soojin Jeong, Ishita Dasgupta, Kelsey Allen

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

Comments 8 pages

Valuable Hallucinations: Realizable Non-realistic Propositions

Qiucheng Chen, Bo Wang

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

Comments 13 pages

Towards A Litmus Test for Common Sense

Hugo Latapie

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

Large Process Models: A Vision for Business Process Management in the Age of Generative AI

Timotheus Kampik, Christian Warmuth, Adrian Rebmann, Ron Agam, Lukas N. P. Egger, Andreas Gerber, Johannes Hoffart, Jonas Kolk, Philipp Herzig, Gero Decker, Han van der Aa, Artem Polyvyanyy, Stefanie Rinderle-Ma, Ingo Weber, Matthias Weidlich

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

Journal ref Künstl Intell (2024)

Disagree and Commit: Degrees of Argumentation-based Agreements

Timotheus Kampik, Juan Carlos Nieves

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

Comments To appear eventually in the Autonomous Agents and Multi-Agent Systems journal

Combined Hyper-Extensible Extremely-Secured Zero-Trust CIAM-PAM architecture

Shivom Aggarwal, Shourya Mehra, Safeer Sathar

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

CodeElo: Benchmarking Competition-level Code Generation of LLMs with Human-comparable Elo Ratings

Shanghaoran Quan, Jiaxi Yang, Bowen Yu, Bo Zheng, Dayiheng Liu, An Yang, Xuancheng Ren, Bofei Gao, Yibo Miao, Yunlong Feng, Zekun Wang, Jian Yang, Zeyu Cui, Yang Fan, Yichang Zhang, Binyuan Hui, Junyang Lin

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

HumanEval Pro and MBPP Pro: Evaluating Large Language Models on Self-invoking Code Generation

Zhaojian Yu, Yilun Zhao, Arman Cohan, Xiao-Ping Zhang

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

TrojanWhisper: Evaluating Pre-trained LLMs to Detect and Localize Hardware Trojans

Md Omar Faruque, Peter Jamieson, Ahmad Patooghy, Abdel-Hameed A. Badawy

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

dafny-annotator: AI-Assisted Verification of Dafny Programs

Gabriel Poesia, Chloe Loughridge, Nada Amin

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

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection

Cristian Curaba, Denis D'Ambrosi, Alessandro Minisini, Natalia Pérez-Campanero Antolín

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

Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4

Xichen Tang

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

Dreaming Out Loud: A Self-Synthesis Approach For Training Vision-Language Models With Developmentally Plausible Data

Badr AlKhamissi, Yingtian Tang, Abdülkadir Gökce, Johannes Mehrer, Martin Schrimpf

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

Comments Accepted to BabyLM Challenge at CoNLL 2024

Building Multi-Agent Copilot towards Autonomous Agricultural Data Management and Analysis

Yu Pan, Jianxin Sun, Hongfeng Yu, Joe Luck, Geng Bai, Nipuna Chamara, Yufeng Ge, Tala Awada

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