Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks.

Xingwu Guo, Wenjie Wan, Zhaodi Zhang, Min Zhang, Fu Song, Xuejun Wen

Browse the full ISSRE paper archive.