机构名称：
¥ 1.0
摘要 我们介绍了 CAISAR，这是一个正在积极开发的开源平台，用于表征 AI 系统的稳健性和安全性。CAISAR 通过使用 WhyML（Why3 验证平台的成熟且富有表现力的语言）为定义验证问题提供了统一的切入点。此外，CAISAR 协调并组合了最先进的机器学习验证工具，这些工具单独使用时无法有效地处理所有问题，但集体使用时可以覆盖越来越多的属性。我们的目标是一方面通过减轻选择针对特定验证问题的方法的负担来协助 V&V 过程，另一方面通过在一个平台上分解有用的功能（可视化、报告生成、属性描述）来协助工具开发人员。CAISAR 即将在 https://git.frama-c.com/pub/caisar 上线。
CAISAR：用于表征人工智能安全性和稳健性的平台
主要关键词
相关文件推荐
