Tutoriel 1 : vérification formelle de réseaux de neurones profonds: théorie et pratique

Vérification formelle de réseaux de neurones profonds: théorie et pratique

lundi 29 juin – 10h30 – 12h30

• Intervenants : Julien Girard-Satabin (CEA LIST/INRIA), Guillaume Charpiat (INRIA), Zakaria Chihani (CEA LIST)
• Résumé : Can we trust the predictions of a neural network? Given a specification, is it possible to prove that it will never make a mistake? This tutorial presents an overview of formal verification methods, as well as a practical case study showing how they can be used to soundly check that a neural network is robust and reliable. [All material will be provided in English, the speakers will speak in French or English according to the audience.]

Accéder à la plate-forme pour les travaux pratiques

Lien vers le matériel du tutoriel