Published January 3, 2025
| Version v1
Software
Open
ProveSound
Authors/Creators
Description
Artifact for OOPSLA submission 425 - "Automated Verification of Soundness of DNN Certifiers". The readme can be found in oopsla_artifact/README.md
Files
425.zip
Files
(175.7 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:fe06bf584f4495cd3f1b51590dc59a6a
|
175.7 kB | Preview Download |