Gagandeep Singh, Timon Gehr, Markus Püschel, Martin T. Vechev. Boosting Robustness Certification of Neural Networks. In 7th International Conference on Learning Representations, ICLR 2019, New Orleans, LA, USA, May 6-9, 2019. OpenReview.net, 2019. [doi]
Abstract is missing.