TheConvexRelaxationBarrier, Revisited: TightenedSingle-NeuronRelaxationsforNeural NetworkVerification

Open in new window