Y Xiao, T Bai, M Gu,
C Fang,
Z Chen - arXiv preprint arXiv:2211.09810, 2022 - arxiv.org
The robustness of neural network classifiers is becoming important in the safety-critical
domain and can be quantified by robustness verification. However, at present, efficient and …