Search Results for author: Rupanshu Ganvir

Found 1 papers, 1 papers with code

Beyond the Single Neuron Convex Barrier for Neural Network Certification

1 code implementation NeurIPS 2019 Gagandeep Singh, Rupanshu Ganvir, Markus Püschel, Martin Vechev

We propose a new parametric framework, called k-ReLU, for computing precise and scalable convex relaxations used to certify neural networks.

Cannot find the paper you are looking for? You can Submit a new open access paper.