NNV3: Expanding Neural Network Verification to New Architectures and Domains

T1Covered by 1 source · first reported by arXiv at 25 Sept, 04:00 UTC

arXiv:2609.30050v1 Announce Type: new Abstract: 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-physical systems. Building on the set-based reachability foundation of NNV…

aidevscience

Sources

• T1NNV3: Expanding Neural Network Verification to New Architectures and DomainsarXiv25 Sept, 04:00