Standards · 2023.08
ISO/IEC 24029-2:2023 — Artificial intelligence (AI) — Assessment of the robustness of neural networks — Part 2: Methodology for the use of formal methods
ISO/IEC 24029-2:2023 — Artificial intelligence (AI) — Assessment of the robustness of neural networks — Part 2: Methodology for the use of formal methods
Overview
Presents a methodology for using formal methods to evaluate neural-network robustness. It addresses selecting, applying and managing formal approaches, offering supporting guidance for engineers building verification evidence about ML components in safety-related applications.
Version: Edition 1