Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability
Deep Neural Networks for Acoustic Modeling in Speech Recognition: The Shared Views of Four Research Groups