A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks - Laboratoire d'informatique de l'X (LIX)
Pré-Publication, Document De Travail Année : 2024

A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks

Résumé

The reliability and usefulness of verification depend on the ability to represent appropriately the uncertainty. Most existing work on neural network verification relies on the hypothesis of either set-based or probabilistic information on the inputs. In this work, we rely on the framework of imprecise probabilities, specifically p-boxes, to propose a quantitative verification of ReLU neural networks, which can account for both probabilistic information and epistemic uncertainty on inputs. On classical benchmarks, including the ACAS Xu examples, we demonstrate that our approach improves the tradeoff between tightness and efficiency compared to related work on probabilistic network verification, while handling much more general classes of uncertainties on the inputs and providing fully guaranteed results.
Fichier principal
Vignette du fichier
fm.pdf (655.28 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04546350 , version 1 (15-04-2024)
hal-04546350 , version 2 (17-04-2024)

Identifiants

  • HAL Id : hal-04546350 , version 2

Citer

Eric Goubault, Sylvie Putot. A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks. 2024. ⟨hal-04546350v2⟩
154 Consultations
144 Téléchargements

Partager

More