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

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)
Tutoriels - PFIA 2020

Tutoriels - PFIA 2020

222 abonnés suivent cette entrepriseSessions des tutoriels
  1. Accueil
  2. Tutoriel 1 : vérification formelle de réseaux de neurones profonds: théorie et pratique
Webikeo ProValorisez l’expertise de votre entreprise auprès de notre audience de +600 000 professionnels.
image
Domaines d'expertises
À propos de webikeo