Efficient Neural Network Robustness Certification with General Activation Functions

Open in new window