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

Distribution Models for Falsification and Verification of DNNs - Appendix.pdf

Files (2.5 GB)

Name Size Download all
md5:0a60c1000ce5ca7c05282a5f437848ea
66 Bytes Download
md5:26ffb8db3794e5e525d4bc2e185fadb7
6.7 MB Preview Download
md5:a88cda947756122c7e22064a38cefb29
1.9 MB Preview Download
md5:631adb048b9c3f295f78cd9c619c1d1f
10.8 kB Preview Download
md5:5b33ff63e3de5e7d04ab6fe3adc4fcd1
343 Bytes Download
md5:f13958e0c2ef5d15b66515743c159a68
1.1 kB Preview Download
md5:5f5d57d64d8715af2c8b19da79c7e4b6
9.7 kB Preview Download
md5:47b4f39281ff1432687ed3a85a284ec9
113.3 MB Preview Download
md5:9335cb636bd67124e3b5f0ea2b37aae2
367.8 MB Preview Download
md5:1bb9765baffc963d8c5024414998689b
2.1 GB Preview Download