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

Significantly, PRODeep provides a user-friendly GUI, visualising both inputs and outputs and providing an intuitive way to analyse 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.