no code implementations • 16 Jul 2020 • Wenjie Wan, Zhaodi Zhang, Yiwei Zhu, Min Zhang, Fu Song
The key insight of our approach is that the robustness verification problem of DNNs can be solved by verifying sub-problems of DNNs, one per target label.