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.