NeurIPS 2020

The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification


Meta Review

This paper provides a clever method for tightening a well-known convex relaxation.