arXiv人工智能前沿论文速览 2026-06-20

1. AI代理的高效可靠概率验证方案 原文标题: Efficient and Sound Probabilistic Verification for AI Agents 发布时间: 2026-06-18 论文链接:http://arxiv.org/abs/2606.20510v1 在复杂数字环境中保障AI代理的运行安全已成为迫切需求，采用形式化语言（例如Datalog）构建策略并实施运行时监控的技术路线展现出良好前景。然而现行方案仅能处理确定性策略。多数真实场景下的AI代理需要应对不确定性以执行安全约束