NNV3: Expanding Neural Network Verification to New Architectures and Domains
NNV3 is presented, the latest version of the Neural Network Verification tool, a MATLAB framework for formal verification of deep learning models and learning-enabled cyber-physical systems, demonstrating NNV's maturation into a comprehensive, robust, and accessible verification tool for a diverse range of AI systems.
Anne M. Tumlin, Samuel Sasaki, Ben Wooding et al.
· 0 citations