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.