Efficient Neural Network Robustness Certification with General Activation Functions
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation