| Both sides previous revisionPrevious revision | |
| start [2020/11/19 18:32] – admin | start [2020/11/20 13:32] (current) – admin |
|---|
| * [[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===== |
