Efficient Neural Network Robustness Certification with General Activation Functions
Explaining and Harnessing Adversarial Examples