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).
First name
Zhengwu
Last name
Luo