Skip to main content
Tagasi

ISO/IEC 24029-2:2023

Artificial intelligence (AI) — Assessment of the robustness of neural networks — Part 2: Methodology for the use of formal methods

Üldinfo

Kehtiv alates 01.08.2023
Direktiivid või määrused
puuduvad

Standardi ajalugu

Staatus
Kuupäev
Tüüp
Nimetus
01.08.2023
Põhitekst
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.

Nõutud väljad on tähistatud *

*
*
*
PDF
169,14 € koos KM-ga
Paber
169,14 € koos KM-ga
Standardi monitooring