标准编号：ISO/IEC 24029-2:2023
中文名称：人工智能（AI） 神经网络稳健性的评定 第2部分：使用形式方法的方法学
英文名称：Artificial intelligence (AI) — Assessment of the robustness of neural networks — Part 2: Methodology for the use of formal methods
发布日期：2023-08
标准范围
This document provides methodology for the use of formal methods to assess robustness properties of neural networks. The document focuses on how to select, apply and manage formal methods to prove robustness properties.
标准预览图
立即下载标准文件