Published July 22, 2024
| Version vnncomp2024
Software
Open
verivital/nnv: vnncomp2024
Creators
- 1. @verivital
- 2. University of Nebraska Lincoln
- 3. Vanderbilt University
- 4. veriVITAL Lab, Vanderbilt University
Description
NNV version for the participation in the Verification of Neural Network competition, 2024. Submission folder: https://github.com/verivital/nnv/tree/master/code/nnv/examples/Submission/VNN_COMP2024
Competition Information
5th International Verification of Neural Networks Competition (VNN-COMP'24)
Files
verivital/nnv-faoc2021.zip
Files
(3.7 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:827a2a5bc2e3dd9d12eaa49b2a7b72a2
|
1.4 GB | Preview Download |
|
md5:8eb9a095bb27310e75bfa8f749d3ccc1
|
2.3 GB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/verivital/nnv/tree/vnncomp2024 (URL)