INNAbstract: An INN-Based Abstraction Method for Large-Scale Neural Network Verification - Université Gustave Eiffel Accéder directement au contenu
Article Dans Une Revue IEEE Transactions on Neural Networks and Learning Systems Année : 2023

INNAbstract: An INN-Based Abstraction Method for Large-Scale Neural Network Verification

Résumé

Neural networks (NNs) have witnessed widespread deployment across various domains, including some safety-critical applications. In this regard, the demand for verifying means of such artificial intelligence techniques is more and more pressing. Nowadays, the development of evaluation approaches for NNs is a hot topic that is attracting considerable interest, and a number of verification methods have been proposed. Yet, a challenging issue for NN verification is pertaining to the scalability when some NNs of practical interest have to be evaluated. This work aims to present INNAbstract, an abstraction method to reduce the size of NNs, which leads to improving the scalability of NN verification and reachability analysis methods. This is achieved by merging neurons while ensuring that the obtained model (i.e., abstract model) overapproximates the original one. INNAbstract supports networks with numerous activation functions. In addition, we propose a heuristic for nodes’ selection to build more precise abstract models, in the sense that the outputs are closer to those of the original network. The experimental results illustrate the efficiency of the proposed approach compared to the existing relevant abstraction techniques. Furthermore, they demonstrate that INNAbstract can help the existing verification tools to be applied on larger networks while considering various activation functions.
Fichier principal
Vignette du fichier
Paru_INNAbstract_An_INN-Based_Abstraction_Method_for_Large-Scale_Neural_Network_Verification.pdf (1.64 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04235453 , version 1 (10-10-2023)

Licence

Paternité

Identifiants

Citer

Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel. INNAbstract: An INN-Based Abstraction Method for Large-Scale Neural Network Verification. IEEE Transactions on Neural Networks and Learning Systems, 2023, pp.1-15. ⟨10.1109/tnnls.2023.3316551⟩. ⟨hal-04235453⟩
20 Consultations
28 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More