A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation.

Zhiyi Xue, Si Liu, Zhaodi Zhang, Yiting Wu, Min Zhang

Browse the full ISSTA paper archive.