Published August 31, 2021 | Version 2
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 (2.5 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