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]
@inproceedings{XueZLYPZ22,
title = {An RNN-Based Framework for the MILP Problem in Robustness Verification of Neural Networks},
author = {Hao Xue and Xia Zeng and Wang Lin and Zhengfeng Yang and Chao Peng and Zhenbing Zeng},
year = {2022},
doi = {10.1007/978-3-031-26319-4_34},
url = {https://doi.org/10.1007/978-3-031-26319-4_34},
researchr = {https://researchr.org/publication/XueZLYPZ22},
cites = {0},
citedby = {0},
pages = {571-586},
booktitle = {Computer Vision - ACCV 2022 - 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Proceedings, Part I},
editor = {Lei Wang 0001 and Juergen Gall and Tat-Jun Chin and Imari Sato and Rama Chellappa},
volume = {13841},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-26319-4},
}