NNV3: Expanding Neural Network Verification to New Architectures and Domains

Anne M. Tumlin, Samuel Sasaki, Ben Wooding +8

We present NNV3, the latest version of the Neural Network Verification (NNV) tool, a MATLAB framework for formal verification of deep learning models and learning-enabled cyber-phy…