ISO/IEC 24029-2:2023
Artificial intelligence (AI) — Assessment of the robustness of neural networks — Part 2: Methodology for the use of formal methods

Standard No.

ISO/IEC 24029-2:2023

Release Date

2023

Published By

International Organization for Standardization (ISO)

Latest

ISO/IEC 24029-2:2023

ISO/IEC 24029-2:2023 history

• 2023 ISO/IEC 24029-2:2023 Artificial intelligence (AI) — Assessment of the robustness of neural networks — Part 2: Methodology for the use of formal methods