arXiv · cs.AI· Haoyang Song·· 22 天前AI 评分37
面向 AI 可信性：为 AI 控制系统寻找解析证明的前向不变集
Toward AI Trustworthiness: Finding Analytically Proven Forward-Invariant Sets for AI-Controlled Systems
来源与原文
arXiv · cs.AI
作者：Haoyang Song
发布时间：（北京时间）
阅读原始来源 · arxiv.org ↗完整链接与内容说明
https://arxiv.org/abs/2610.05689v1
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
一项 arXiv 研究提出用可逆神经网络（INN）将 AI 控制系统的状态空间变换到潜空间，使规则形状的前向不变集（FIS）更易存在，并通过形式化验证给出解析证明。在三个控制测试床共 45 个 AI 控制系统上，该方法为全部 45 个系统找到认证 FIS，而改造后的 SOTA 基线一个都未找到，且在 40 个系统上速度更快。
来源：arXiv · cs.AI · arxiv.org