Beyond the Single Neuron Convex Barrier for Neural Network Certification. - Gagandeep Singh 001; Rupanshu Ganvir; Markus Püschel; Martin T. Vechev (NeurIPS, 2019)