Rupanshu Ganvir

Beyond the Single Neuron Convex Barrier for Neural Network Certification

We propose a new parametric framework, called k-ReLU, for computing precise and scalable convex relaxations used to certify neural networks. The key idea is to approximate the output of multiple ReLUs in a layer jointly instead of separately. This joint relaxation captures dependencies between the i…