DECOMON - Un Outil de Vérification Open Source pour la Robustesse des Réseaux de Neurones

Assistez à cette Tech'Session ANITI où Mélanie Ducoffe, Senior Data Scientist en IA chez Airbus, présente DECOMON, une librairie open source dédiée à la vérification de la stabilité locale des réseaux de neurones. Découvrez comment cet outil utilise l'analyse de perturbation linéaire (LiRPA) pour dériver automatiquement des bornes supérieures et inférieures pour les prédictions d'un réseau de neurones face à des entrées perturbées. La session d'une heure explorera les capacités de Decomon pour vérifier la robustesse des réseaux de neurones et expliquera comment intégrer cette librairie dans des projets Keras pour analyser et valider la robustesse des modèles. Apprenez comment cette approche permet non seulement d'assurer la robustesse contre des perturbations mais également d'optimiser les paramètres du réseau pour satisfaire des exigences de robustesse (certified defense).