Efficient Neural Network Robustness Certification with General Activation Functions
Certified Defenses against Adversarial Examples