Correctness Verification of Neural Networks. (arXiv:1906.01030v3 [cs.LG] UPDATED)

We present a novel framework for specifying and verifying correctness
globally for neural networks on perception tasks. Most previous works on neural
network verification for perception tasks focus on robustness verification.
Unlike robustness verification, which aims to verify that the prediction of a
network is stable in some local regions around labelled points, our framework
provides a way to specify correctness globally in the whole target input space
and verify that the network is correct for all target inputs (or …

correctness lg networks neural networks verification