Skip to content

cav2023
Compare
Choose a tag to compare
@mldiego mldiego released this 28 Apr 05:07
· 449 commits to master since this release
cav2023
289a58e
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

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
Loading