Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability
A Survey of Model Compression and Acceleration for Deep Neural Networks