Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance.

Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska

Browse the full IJCAI paper archive.