Perfectly Parallel Fairness Certification of Neural Networks - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Proceedings of the ACM on Programming Languages Année : 2020

Perfectly Parallel Fairness Certification of Neural Networks

Résumé

Recently, there is growing concern that machine-learned software, which currently assists or even automates decision making, reproduces, and in the worst case reinforces, bias present in the training data. The development of tools and techniques for certifying fairness of this software or describing its biases is, therefore, critical. In this paper, we propose a perfectly parallel static analysis for certifying fairness of feed-forward neural networks used for classification of tabular data. When certification succeeds, our approach provides definite guarantees, otherwise, it describes and quantifies the biased input space regions. We design the analysis to be sound, in practice also exact, and configurable in terms of scalability and precision, thereby enabling pay-as-you-go certification. We implement our approach in an open-source tool called libra and demonstrate its effectiveness on neural networks trained on popular datasets.
Fichier principal
Vignette du fichier
OOPSLA2020.pdf (2.14 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03091870 , version 1 (31-12-2020)

Identifiants

Citer

Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang. Perfectly Parallel Fairness Certification of Neural Networks. Proceedings of the ACM on Programming Languages, 2020, 4 (OOPSLA), pp.1-30. ⟨10.1145/3428253⟩. ⟨hal-03091870⟩
65 Consultations
108 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More