Improving Robustness Verification of Neural Networks with General Activation Functions via Branching and Optimization.

Zhengwu Luo, Lina Wang, Run Wang, Kang Yang, Aoshuang Ye

Browse the full IJCNN paper archive.