PRODeep: a platform for robustness verification of deep neural networks

PRODeep is a platform for robustness verification of deep neural networks (DNNs). It incorporates constraint-based, abstraction-based, and optimization-based robustness verification algorithms. It has a modular architecture, enabling easy comparison of different algorithms.

Significantly, PRODeep provides a user-friendly GUI, visualizing both inputs and outputs and providing an intuitive way to analyze the robustness properties. It is easy to get started with, so you can easily design some experiments to evaluate the robustness properties of your DNNs.

The screencast on YouTube will show the workflow of our tool.

Please feel free to contact us for any further information on PRODeep you might need.

This work has been supported by Key-Area Research and Development Program of Guangdong Province (Grant no. 2018B010107004) and Natural Science Foundation of Guangdong Province (Grant No. 2019A1515011689).