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
Kang
Last name
Yang