prBAS ISO/IEC 24029-2:2024

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

General information

Status:Project

Number of pages:23

Adoption method:Korice

Language:engleski

Edition:1.

Realization date:14.06.2024

Forseen date for next stage code:20.06.2024

Technical committee:BAS/TC 1, Information technology

ICS:

35.020, Information technology (IT) in general

Abstract

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.

Lifecycle

...

Original document and degree of correspondence

ISO/IEC 24029-2:2023, identical

Work material

Only members of the technical committee have access to work material. If you are a members of this technical committee you need to login to view the documents. Login