no code implementations • 27 Jan 2023 • Xingwu Guo, Ziwei Zhou, Yueling Zhang, Guy Katz, Min Zhang
The experimental results demonstrate our approach's effectiveness and efficiency in verifying DNNs' robustness against various occlusions, and its ability to generate counterexamples when these DNNs are not robust.