To download and install the code for CIFAR10 and MNIST experiments execute the following commands:
git clone https://github.com/dimy93/SymbolAdex.git
cd SymbolAdex
./install.sh
To run the MNIST convSmall experiments call the run_mnist.sh script as follows:
cd ERAN/tf_verify/
./run_mnist.sh
To run the CIFAR10 convSmall experiments call the run_cifar10.sh script as follows:
cd ERAN/tf_verify/
./run_cifar10.sh
To run the MNIST convBig experiments call the run_mnist_big.sh script as follows:
cd ERAN/tf_verify/
./run_mnist_big.sh
To run the MNIST 9x200 experiments call the run_mnist_ffn.sh script as follows:
cd ERAN/tf_verify/
./run_mnist_ffn.sh
The resulting symbolic adversarial examples will appear under ./ERAN/tf_verify/NetworkName_ImgNum_class_AdvClass_it_Iteration.
To download and install the code for the mortgage dataset experiments execute the following commands:
git clone https://github.com/dimy93/SymbolAdex.git
cd SymbolAdex
git checkout mortgage
sudo ./install.sh
To run the mortgage dataset experiments that use the triangle convex relaxation call the mortgage_lp.sh script as follows:
cd ERAN/tf_verify/
./mortgage_lp.sh
To run the mortgage dataset experiments that use the DeepPoly convex relaxation call the mortgage_deeppoly.sh script as follows:
cd ERAN/tf_verify/
./mortgage_deeppoly.sh
Visualisation of the resuls will appear in ./ERAN/tf_verify/mortgage_ImgNum_class_0_seed_Seed.
The resulting symbolic adversarial examples will appear under ./ERAN/tf_verify/mortgage_ImgNum_class_0_seed_Seed_it_Iteration.