There is a newer version of this record available.

Software Open Access

Distribution Models for Falsification and Verification of DNNs

Felipe Toledo; David Shriver; Sebastian Elbaum; Matthew Dwyer

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 (2.5 GB)
Name Size
activate.sh
md5:0a60c1000ce5ca7c05282a5f437848ea
66 Bytes Download
Distribution Models for Falsification and Verification of DNNs - Appendix.pdf
md5:26ffb8db3794e5e525d4bc2e185fadb7
6.7 MB Download
Distribution Models for Falsification and Verification of DNNs.pdf
md5:a88cda947756122c7e22064a38cefb29
1.9 MB Download
INSTALL.md
md5:631adb048b9c3f295f78cd9c619c1d1f
10.8 kB Download
install.sh
md5:5b33ff63e3de5e7d04ab6fe3adc4fcd1
343 Bytes Download
LICENSE.md
md5:f13958e0c2ef5d15b66515743c159a68
1.1 kB Download
README.md
md5:5f5d57d64d8715af2c8b19da79c7e4b6
9.7 kB Download
rq1.zip
md5:47b4f39281ff1432687ed3a85a284ec9
113.3 MB Download
rq2.zip
md5:9335cb636bd67124e3b5f0ea2b37aae2
367.8 MB Download
rq3.zip
md5:1bb9765baffc963d8c5024414998689b
2.1 GB Download
170
214
views
downloads
All versions This version
Views 170110
Downloads 214165
Data volume 28.1 GB17.9 GB
Unique views 13892
Unique downloads 11393

Share

Cite as