ISO/IEC DIS 24029-2
Artificial intelligence (AI) – Assessment of the robustness of neural networks – Part 2: Methodology for the use of formal methods
Last updated: 7 Oct 2022
Development Stage
Pre-draft
Draft
Published
21 Jul 2022
published
External Links
[site_reviews_summary assigned_posts=”post_id” hide=”bars,if_empty” text=”{rating} out of {max} stars ({num} reviews)”]
Let the community know
Categorisation
Domain: Horizontal
Scope: AI-specific
Topic: Formal verification, Robustness
Key Information
Organisation: IEC
Discussion
[check_original_title]
