Attack-Guided Efficient Robustness Verification of ReLU Neural Networks.

Yiwei Zhu, Feng Wang, Wenjie Wan, Min Zhang

Browse the full IJCNN paper archive.