no code implementations • 6 Apr 2024 • Chuqin Geng, Zhaoyue Wang, Haolin Ye, Saifei Liao, Xujie Si
In this paper, we study the following problem: Given a neural network, find a minimal (coarsest) NAP that is sufficient for formal verification of the network's robustness.