Adversarially Trained Model Compression: When Robustness Meets Efficiency