Efficient Neural Network Robustness Certification with General Activation Functions
Maximum Resilience of Artificial Neural Networks