Towards Reliable Neural Specifications

no code implementations • 28 Oct 2022 • Chuqin Geng, Nham Le, Xiaojie Xu, Zhaoyue Wang, Arie Gurfinkel, Xujie Si

We show that by using NAP, we can verify a significant region of the input space, while still recalling 84% of the data on MNIST.

Adversarial Robustness