Massachusetts Institute of Technology
Kai Xiao, Vincent Tjeng, Nur Muhammad Shafiullah, Aleksander Madry
verification;adversarial robustness;adversarial examples;stability;deep learning;regularization
Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability