Yiwei Zhu, Feng Wang, Wenjie Wan, Min Zhang 0002. Attack-Guided Efficient Robustness Verification of ReLU Neural Networks. In International Joint Conference on Neural Networks, IJCNN 2021, Shenzhen, China, July 18-22, 2021. pages 1-8, IEEE, 2021. [doi]
Abstract is missing.