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. |
