PLunch: An Abstract Domain for Certifying Neural Networks
Sankha Guria - University of Maryland, College Park
Abstract
Weekly PL lunch. This week we will be discusssing "An Abstract Domain for Certifying Neural Networks". Discussion will be led by Sankha Guria.
Link to paper: https://eth-sri.github.io/publications/singh2019domain
Sign up to present here: https://docs.google.com/
This talk is organized by Kesha Hietala