tutoriel-1-verification-formelle-de-reseaux-de-neurones-profonds-theorie-et-pratique

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

Conférence animée par :

Intervenant Webikeo

Julien Girard-Satabin

Doctorant,

CEA

Intervenant Webikeo

Guillaume Charpiat

Chercheur,

INRIA

Intervenant Webikeo

Zakaria Chihani

Chercheur,

CEA

Lundi 29 Juin 2020

de 10H30 à 12H00

141 inscrits | 90 mn

Inscription 100% gratuite

Alertes email avant le webinar

Zone de chat pour poser vos questions

Rediffusion jusqu'au 11/09/2020

Soyez informé de nos prochains webinars, abonnez-vous à notre chaîne.

Tutoriels - PFIA 2020

Tutoriels - PFIA 2020

S'abonner
tutoriels-pfia-2020
Abonné
328