Published May 6, 2022
| Version v1
Software
Open
Artifact: Example Guided Synthesis of Linear Approximations for Neural Network Verification
Description
This is the artifact for the paper "Example Guided Synthesis of Linear Approximations for Neural Network Verification" published at CAV 2022. The zip file contains a Readme.txt explaining how to use the artifact, and reproduce our results.
Files
artifact.zip
Files
(1.8 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:64329f5bd08114a86557fb5990b201f9
|
1.8 GB | Preview Download |