log in  |  register  |  feedback?  |  help  |  web accessibility
Logo
PLunch: An Abstract Domain for Certifying Neural Networks
Sankha Guria - University of Maryland, College Park
Wednesday, April 10, 2019, 1:00-2:00 pm Calendar
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)
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/spreadsheets/d/1y3Ok0jvMCgwVzy7ETGK14Y2tp5JoVvQT4TGmb82e4g0/edit?usp=sharing

This talk is organized by Kesha Hietala