Description
Codebase for the ERAN verification framework including the verifier PRIMA (domains “refinepoly” or “refinegpupoly”) and scripts to reproduce the results reported in “PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations”.
Assets
Instructions
General Installation
Software Dependencies:
cmake (>=3.17.1) m4 (>=1.4.18) autoconf libtool pdftex
Hardware Dependencies:
To use the domain “refinegpupoly” (and reproduce our results) a recent GPU (~NVIDIA RTX 1080 Ti and above) is required.
General Installation:
Please follow the README for detailed installation instructions.
Experimental Installation
Parameterization:
Parameters are defined in the corresponding config files.
Work Flows:
After following the installation instructions navigate to the “tf_verify” directory and run “./run_experiments.sh” this will populate the “./logs” directory.
Evaluation:
Inspect the produced log files, which include a summary of their results at the bottom.
Provenance
https://github.com/eth-sri/eran
License
free
Comments
-
Author Tags
Copyright
Author(s)