Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.

There is a newer version of the record available.

Published July 14, 2021 | Version 1
Software Open

Distribution Models for Falsification and Verification of DNNs

  • 1. University of Virginia

Description

DFV Artifact

This is the artifact to accompany the ASE technical track submission "Distribution Models for Falsification and Verification of DNNs".

This artifact can also be found at https://github.com/less-lab-uva/DFV-Artifact.

Files

DFV.zip

Files (5.0 GB)

Name Size Download all
md5:a909743bbe19a8d2fb8198543b116406
2.5 GB Preview Download
md5:fdc04cc8f6a3e7df75885d7768096e74
6.7 MB Preview Download
md5:1f16c02151e6df9a4469698b2dea53f6
2.4 MB Preview Download
md5:6a048542062f7007d3e394269385f4fa
10.8 kB Preview Download
md5:f13958e0c2ef5d15b66515743c159a68
1.1 kB Preview Download
md5:c2aec9830567f584abe67b19596e0c48
9.3 kB Preview Download
md5:47b4f39281ff1432687ed3a85a284ec9
113.3 MB Preview Download
md5:9335cb636bd67124e3b5f0ea2b37aae2
367.8 MB Preview Download
md5:1bb9765baffc963d8c5024414998689b
2.1 GB Preview Download