Luo, Z. ., Wang, L. ., Wang, R. ., Yang, K. ., & Ye, A. . (2022). Improving Robustness Verification of Neural Networks with General Activation Functions via Branching and Optimization. In 2022 International Joint Conference on Neural Networks (IJCNN) (pp. 1–8).