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
Lina
Last name
Wang