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

See full paper at: https://arxiv.org/abs/2302.05745

Files

artifact.zip

Files (7.9 MB)

Name Size Download all
md5:3a93cb53bab1933c4bb5d5c0b2b6569c
7.9 MB Preview Download