Both sides previous revisionPrevious revisionNext revision | Previous revision |
start [2020/11/19 16:43] – admin | start [2020/11/20 13:32] (current) – admin |
---|
[[start|{{home.png}}]][[start|Main]] [[install|{{tool.png}}]][[install|Download]] [[demonstration|{{imac.png}}]][[demonstration|Video Demos]] | [[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. |
* [[https://iscasmc.ios.ac.cn/iscasmcwp/?page_id=65&key=LiLYCHZ19|Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification]], Li, J.; Liu, J.; Yang, P.; Chen, L.; Huang, X. and Zhang, L. In SAS, pages 296-319, LNCS 11822, 2019. | * [[https://iscasmc.ios.ac.cn/iscasmcwp/?page_id=65&key=LiLYCHZ19|Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification]], Li, J.; Liu, J.; Yang, P.; Chen, L.; Huang, X. and Zhang, L. In SAS, pages 296-319, LNCS 11822, 2019. |
* [[https://dl.acm.org/doi/10.1145/3368089.3417918|PRODeep: a platform for robustness verification of deep neural networks.]] Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, and Holger Hermanns. In Proceedings of the ESEC/FSE 2020. | * [[https://dl.acm.org/doi/10.1145/3368089.3417918|PRODeep: a platform for robustness verification of deep neural networks.]] Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, and Holger Hermanns. In Proceedings of the ESEC/FSE 2020. |
| * [[https://arxiv.org/abs/2010.07722|Improving Neural Network Verification through Spurious Region Guided Refinement.]] Yang, P., Li, R., Li, J., Huang, C. C., Wang, J., Sun, J., Xue, B., Zhang, L. (2020). arXiv preprint arXiv:2010.07722. |
| |
=====External Publications===== | =====External Publications===== |