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]
Abstract is missing.