dynaroars / vnncomp-benchmark-generation

vnncomp-benchmark-generation

• Setup environment (variables, packages, verifiers, etc.)

source ./setup.sh

• Generate benchmarks

~/conda-test/envs/benchmark-neuralsat/bin/python generate_properties.py <seed>