Beyond the Single Neuron Convex Barrier for Neural Network Certification

Published in NeurIPS, 2019

Recommended citation: Gagandeep Singh, Rupanshu Ganvir, Markus Püschel, Martin Vechev, NeurIPS 2019. /files/neurips19_krelu.pdf