An RNN-Based Framework for the MILP Problem in Robustness Verification of Neural Networks

Hao Xue, Xia Zeng, Wang Lin, Zhengfeng Yang, Chao Peng, Zhenbing Zeng. An RNN-Based Framework for the MILP Problem in Robustness Verification of Neural Networks. In Lei Wang 0001, Juergen Gall, Tat-Jun Chin, Imari Sato, Rama Chellappa, editors, Computer Vision - ACCV 2022 - 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Proceedings, Part I. Volume 13841 of Lecture Notes in Computer Science, pages 571-586, Springer, 2022. [doi]

Authors

Hao Xue

This author has not been identified. Look up 'Hao Xue' in Google

Xia Zeng

This author has not been identified. Look up 'Xia Zeng' in Google

Wang Lin

This author has not been identified. Look up 'Wang Lin' in Google

Zhengfeng Yang

This author has not been identified. Look up 'Zhengfeng Yang' in Google

Chao Peng

This author has not been identified. Look up 'Chao Peng' in Google

Zhenbing Zeng

This author has not been identified. Look up 'Zhenbing Zeng' in Google