Boosting Robustness Certification of Neural Networks

Published in ICLR, 2019

Recommended citation: Gagandeep Singh, Timon Gehr, Markus Püschel, Martin Vechev, ICLR 2019. /files/RefineZono.pdf