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