JAIR

Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification

基于概率紧缩的线性松弛扰动分析用于神经网络验证

Luca Marzari, Ferdinando Cicalese, Alessandro Farinelli

机构 * Department of Computer Science, University of Verona（计算机科学系，威尼斯大学） 纠错

AI总结 PT-LiRPA通过概率紧缩线性松弛扰动分析提升神经网络验证的鲁棒性证书，显著提高验证正确性的概率保证。

Comments Accepted at the Journal of Artificial Intelligence Research (JAIR)

Journal ref Journal of Artificial Intelligence Research 84, Article 30 (December 2025), 34 pages

Agentic Large Language Models, a survey

代理大语言模型：综述

Aske Plaat, Max van Duijn, Niki van Stein, Mike Preuss, Peter van der Putten, Kees Joost Batenburg

机构 * Leiden University Leiden Netherlands ； Leiden University \& AI Lab, Pegasystems Leiden Netherlands ； Leiden University ； Leiden University \& AI Lab, Pegasystems 纠错

AI总结 本文综述了代理大语言模型的研究现状，探讨了其在医疗诊断、物流和金融分析等领域的应用，并提出通过推理、行动和交互提升大语言模型能力的未来研究方向。

Comments Website: https://askeplaat.github.io/agentic-llm-survey-site/

Journal ref JAIR volume 84, article 29, December 2025