ISO/IEC 24029-2:2023 人工智能（AI） 神经网络稳健性的评定 第2部分：使用形式方法的方法学

标准编号：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.

标准预览图