PRODeep: A Platform for Robustness Verification of Deep Neural Networks
1) sudo apt-get install g++ qt5-default make
2）sudo apt-get install libboost-all-dev
3）sudo apt-get install -yqq libgmp-dev libmpfr-dev
4）git clone https://github.com/antoinemine/apron
cd apron
./configure -no-ppl -no-java
sudo make
sudo make install
sudo ldconfig
If you want to add support for DeepG and ERAN, please visit DeepG to install modified verision of DeepG and ERAN.
If DeepG is installed for example at /home/USERNAME/Library/deepg and the python environment for DeepG is /home/USERNAME/miniconda3/bin/python , please modify the following lines in mainui.h
#define PYTHON_EXECUTABLE "/home/USERNAME/miniconda3/bin/python"
#define DEEPG_ROOT "/home/USERNAME/Library/deepg"
If you want to add support for PLANET verifier, please visit PLANET to install it.
If the MNIST casestudy of PLANET is located in /home/USERNAME/Library/planet/casestudies/MNIST, please modify the following line in mainui.h
#define PLANET_DIR "/home/USERNAME/Library/planet/casestudies/MNIST"
If you want to add support for Reluplex, please visit Reluplex to install modified verision of Reluplex.
If the Reluplex is located in /home/USERNAME/Library/reluplex/ReluplexCav2017-master, please modify the follow line in mainui.h.
#define Reluplex_ROOT "/home/USERNAME/Library/reluplex/ReluplexCav2017-master"
1) cd \path\to\PRODeep
2) qmake
3) make