Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Last revisionBoth sides next revision |
start [2020/11/19 16:52] – admin | start [2020/11/19 18:32] – admin |
---|
[[start|{{home.png}}]][[start|Main]] [[install|{{tool.png}}]][[install|Download]] [[demonstration|{{imac.png}}]][[demonstration|Video Demos]] [[team|{{letter.png}}]][[team|Developing Team]] | [[start|{{home.png}}]][[start|Main]] [[install|{{tool.png}}]][[install|Download]] [[demonstration|{{imac.png}}]][[demonstration|Video Demos]] |
======PRODeep====== | ======PRODeep====== |
[[https://github.com/ISCAS-PMC/PRODeep|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. | [[https://github.com/ISCAS-PMC/PRODeep|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. |