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.]
Les experts
Julien Girard-SatabinDoctorantCEA
Guillaume CharpiatChercheurINRIA
Zakaria ChihaniChercheurCEA
Durée90 mins
RediffusionIndisponible
Date29/06/2020
Nombre d'inscrits96 inscrits
Note du webinar4.3 (4 avis)
Avez-vous participé au webinar ?Pour noter, vous devez assister au live ou au replay.
Les ressources à télécharger
L'organisateur du webinar n'a pas encore mis de document à disposition. Si vous êtes inscrit(e) au webinar, vous serez informé(e) par e-mail lorsqu'une ressource sera disponible.
- Accueil
- Tutoriel 1 : vérification formelle de réseaux de neurones profonds: théorie et pratique
Webikeo Pro
Domaines d'expertises