cav2023

mldiego released this 28 Apr 05:07

· 657 commits to master since this release

289a58e

CAV 2023 Artifact Evaluation: NNV 2.0: The Neural Network Verification Tool

This is the release corresponding to results in the CAV'23 paper: NNV 2.0: The Neural Network Verification Tool

CodeOcean Capsule: https://codeocean.com/capsule/6689683/

The examples used in the paper are available in code/nnv/examples/NNV2.0/Submission/CAV2023
https://github.com/verivital/nnv/tree/master/code/nnv/examples/NNV2.0/Submission/CAV2023

Assets 2