TheConvexRelaxationBarrier, Revisited: TightenedSingle-NeuronRelaxationsforNeural NetworkVerification

A fundamental problem in deep neural networks is toverify or certify that a trained network is robust, i.e. not susceptible to adversarial attacks [11, 29, 39].