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:

Sign in to participate in the conversation
Scholar Social

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.