SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks

Vignesh Sivaramakrishnan, Krishna C. Kalagarla, Rosalyn Devonport +3

We present a neural network verification toolbox to 1) assess the probability of satisfaction of a constraint, and 2) synthesize a set expansion factor to achieve the probability o…