An Abstract Domain for Certifying Neural Networks
Published in ACM POPL, 2019
Recommended citation: Gagandeep Singh, Timon Gehr, Markus Püschel, Martin Vechev, POPL 2019. /files/DeepPoly.pdf
Gagandeep Singh
Assistant Professor, Siebel School of Computing and Data Science, UIUC
- Illinois, USA
- Github
- Google Scholar