Meiyi Ma, Hongchao Zhang, Ben Wooding, Navid Hashemi, Ipek Oguz, Taylor T. Johnson, Waseem Abbas, Samuel Sasaki, Diego Manzanas Lopez, Anne M. Tumlin, Muhammad Usama Zubair
We have not lifted any functions out of this paper's repositories yet, so there is nothing we have run. The repositories linked to it are listed below.
Some links come from the archived Papers with Code dataset (CC BY-SA 4.0): attribution and licence.
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 analysis for problems where deterministic verification is intractable, while FairNNV certifies counterfactual and individual fairness properties over continuous input regions. NNV3 introduces new benchmarks for malware detection, graph-based power-system models, medical imaging, variable-length time series data, and action recognition. NNV3 also incorporates tutorials and developer guides through a unified documentation site. This paper details these major updates, demonstrating NNV's maturation into a comprehensive, robust, and accessible verification tool for a diverse range of AI systems.
The same record, over MCP at https://syntology.ai/mcp:
get_harvested_code_for_paper("2609.30050")
get_code_for_paper("2609.30050")
have("2609.30050")
The run record, dated, one paper per request, free:
curl https://syntology.ai/api/ran/2609.30050.json
A badge for a README (the split and the date, never a ratio):
[](https://syntology.ai/paper/2609.30050)
Connect an agent — have() is free.