Reachability Analysis of Neural Networks with Uncertain Parameters - Archive ouverte HAL
Communication Dans Un Congrès Année : 2023

Reachability Analysis of Neural Networks with Uncertain Parameters

Résumé

The literature on reachability analysis methods for neural networks currently only focuses on uncertainties on the network's inputs. In this paper, we introduce two new approaches for the reachability analysis of neural networks with additional uncertainties on their internal parameters (weight matrices and bias vectors of each layer), which may open the field of formal methods on neural networks to new topics, such as safe training or network repair. The first and main method that we propose relies on existing reachability analysis approach based on mixed monotonicity (initially introduced for dynamical systems). The second proposed approach extends the ESIP (Error-based Symbolic Interval Propagation) approach which was first implemented in the verification tool Neurify, and first mentioned in the publication of the tool VeriNet. Although the ESIP approach has been shown to often outperform the mixed-monotonicity reachability analysis in the classical case with uncertainties only on the network's inputs, we show in this paper through numerical simulations that the situation is greatly reversed (in terms of precision, computation time, memory usage, and broader applicability) when dealing with uncertainties on the weights and biases.
Fichier principal
Vignette du fichier
2023_Meyer_IFAC23.pdf (324.74 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04426128 , version 1 (30-01-2024)

Identifiants

Citer

Pierre-Jean Meyer. Reachability Analysis of Neural Networks with Uncertain Parameters. IFAC World Congress, Jul 2023, Yokohama, Japan. ⟨10.1016/j.ifacol.2023.10.1249⟩. ⟨hal-04426128⟩
18 Consultations
21 Téléchargements

Altmetric

Partager

More