ML Anthology

Ganvir, Rupanshu

1 publications

NeurIPS 2019 Beyond the Single Neuron Convex Barrier for Neural Network Certification Gagandeep Singh, Rupanshu Ganvir, Markus Püschel, Martin Vechev