Published May 1, 2023
| Version v1
Software
Open
Verifying Generalization in Deep Learning: Artifact
- 1. The Hebrew University of Jerusalem
Description
This repository includes an accompanying artifact to our paper --- Verifying Generalization in Deep Learning (to appear at the CAV 2023 conference)
For specific instructions, please unzip the artifact and read the README.txt file.
For technical questions --- contact us at guyam@cs.huji.ac.il and osherm@cs.huji.ac.il.
Notes
Files
artifact.zip
Files
(7.9 MB)
Name | Size | Download all |
---|---|---|
md5:3a93cb53bab1933c4bb5d5c0b2b6569c
|
7.9 MB | Preview Download |