SOURCE-LINKED INTELLIGENCE

NNV3: Expanding Neural Network Verification to New Architectures and Domains

arXiv · AI, language, vision and robotics · article · Sep 24, 2026 · UTC

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 1.0 (FFNNs, CNNs, NNCS) and NNV 2.0 (RNNs, SSNNs, neural ODEs), NNV3 introduces new members of the Star-set family: ModelStar for verifying networks under weight perturbation, VolumeStar for video and 3D volumetric inputs, and GraphStar for graph neural networks. A conformal-inference-based probabilistic reachability mode complements sound analys

Read original source ↗ Open in workspace

recordType

paper

region

Global