机构名称：
¥ 1.0
1. 形式保证：思考人工智能系统保证的最佳方式是什么？统计学、理论计算机科学或计量科学中是否有方法可以帮助我们开发测量方法，从而为我们提供可量化的保证水平？哪些形式置信度或概率度量是合适的，如何计算和解释它们？目前，我们可以保证人工智能系统的简单属性（Cohen 等人，2019 年），但复杂的安全属性目前仍然遥不可及。（注意：虽然形式验证目前超出了该计划的范围，但经过认证的稳健性是形式验证的一个特殊情况，它很有前景，我们希望支持其研究。）
SAFE-AI 研究议程（2024 年 9 月）
主要关键词
相关文件推荐
