Chargement...
 

Historique: Seminar13122018

Aperçu de cette version: 1

Thursday, 13th of December

11h11 (room R2014, 660 building) (see location)

Julien Girard

(TAU / CEA-list)

Title: Formal proofs of neural networks


Abstract

TBA

Contact: guillaume.charpiat at inria.fr
All TAU seminars: here

Historique

Avancé
Information Version
mar. 11 de Dec, 2018 14h38 guillaume from 129.175.15.11 2
Afficher
ven. 07 de Dec, 2018 08h35 guillaume from 129.175.15.11 1
Afficher