高校专区

University of Wisconsin-Madison（威斯康星大学麦迪逊分校）

2026-06-19 至 2026-06-19 共收录 2 篇

2606.20510 2026-06-19 cs.CR cs.AI 新提交

Efficient and Sound Probabilistic Verification for AI Agents

高效且可靠的AI智能体概率验证

Alaia Solko-Breslin, Pramod Kaushik Mudrakarta, Mihai Christodorescu, Somesh Jha, Krishnamurthy Dj Dvijotham

机构 * Google DeepMind（谷歌DeepMind）； Google（谷歌）； University of Pennsylvania（宾夕法尼亚大学）； University of Wisconsin–Madison（威斯康星大学麦迪逊分校）

AI总结提出基于分布鲁棒优化的框架，为AI智能体在复杂数字环境中的概率策略违规提供可靠上界，无需独立性假设，在终端和工具调用智能体基准上优于现有方法。

2606.20443 2026-06-19 eess.SY cs.LG cs.SY math.AT 新提交

Topological Data Analysis for High-Dimensional Dynamic Process Monitoring

高维动态过程监测的拓扑数据分析

Angan Mukherjee, Tyler A. Soderstrom, Michael J. Kurtz, Victor M. Zavala

机构 * Department of Chemical & Biological Engineering, University of Wisconsin-Madison（威斯康星大学麦迪逊分校化学与生物工程系）； ExxonMobil Technology and Engineering（埃克森美孚技术与工程）

AI总结提出结合拓扑数据分析和机器学习的方法，将多变量时间序列表示为流形，用拓扑描述符总结结构，并用神经常微分方程学习拓扑结构动态演化，实现高效事件检测。