BAS ISO/IEC 24029-2:2024
Umjetna inteligencija (UI) — Procjena robusnosti neuronskih mreža — Deo 2: Metodologija za korištenje formalnih metoda
Opće informacije
Status: Važeći
Broj strana: 23
Jezik: Engleski
Izdanje: 1.
Metoda usvajanja: Korice
Nadnevak objave: 27.12.2024
Tehnički komitet:
...
Apstrakt
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.
Životni ciklus
...
Izvorni dokument i stepen usklađenosti
- ISO/IEC 24029-2:2023, identičan