Heya. The materials for my tutorial at PFIA 2020, "Formal Verification of Deep Neural Networks", are available here:
The tutorial will take place monday morning at 10 a.m. CET
You can subscribe to the webinar here: https://webikeo.fr/webinar/tutoriel-1-verification-formelle-de-reseaux-de-neurones-profonds-theorie-et-pratique
Scholar Social is a microblogging platform for researchers, grad students, librarians, archivists, undergrads, academically inclined high schoolers, educators of all levels, journal editors, research assistants, professors, administrators—anyone involved in academia who is willing to engage with others respectfully.