Erroneous models in neural networks and their threats for formal verification
Erreurs de modèles dans les réseaux de neurones et leurs menaces pour la vérification formelle
Résumé
This article explains why current dependability techniques are not suitable for neural networks (NN). It also shows with an experiment that we need to justifiably trust neural networks modeling before formal verification can be used for critical applications.
Cet article montre les limites de l'application des techniques de sureté de fonctionnement actuelles aux réseaux de neurones. Il montre également à l'aide d'une expérience, le besoin d'apporter une confiance justifiée dans les modèles des réseaux de neurones pour permettre l'utilisation de la vérification formelle.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|