Published February 16, 2022
| Version v1
Software
Open
Artifact for Paper Efficient Neural Network Analysis with Sum-of-Infeasibilities
Authors/Creators
- 1. Stanford University
- 2. The Hebrew University of Jerusalem
Description
To use this artifact, use the TACAS22 VM [0]. Copy the archive into the VM, unpack it, and then follow the instructions in Readme.txt to replicate the results in the paper.
[0] https://zenodo.org/record/5562597
Files
SoI-Artifact.zip
Files
(3.5 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:9f54a7fcee609a8d593586ece7accb5f
|
3.5 GB | Preview Download |