NNV3 Adds Graph and Volumetric Verification to MATLAB Framework
September 25, 2026
NNV3 expands neural network verification to graph neural networks via GraphStar and 3D/video data via VolumeStar. It introduces probabilistic reachability for intractable problems and FairNNV for certifying fairness properties across continuous input regions.
HOW THIS AFFECTS YOU
●
builderYou can use this to certify fairness and robustness in safety-critical cyber-physical systems.
●
researcherYou can now formally verify GNNs and neural ODEs using set-based reachability.