Retour vers tous les domaines d’expertise

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-SatabinDoctorant,CEA
Guillaume CharpiatChercheur,INRIA
Zakaria ChihaniChercheur,CEA
Durée90 mins
RediffusionPas de rediffusion disponible
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. 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