Cheng-Chao Huang

PRODeep: a platform for robustness verification of deep neural networks

Renjue Li, Jianlin Li, Cheng-Chao Huang et al. · 2020 · 20 citations

Computing, Computer Science, Cybersecurity +15

Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation

Pengfei Yang, Jianlin Li, Jiangchao Liu et al. · Formal Aspects of Computing · 2021 · 18 citations · Full text

Computing, Computer Science, Machine Learning +9

Towards practical robustness analysis for DNNs based on PAC-model learning

Renjue Li, Pengfei Yang, Cheng-Chao Huang et al. · Proceedings of the 44th International Conference on Software Engineering · 2022 · 13 citations · Full text

Computing, Computer Science, Artificial Intelligence +16

Positive root isolation for poly-powers by exclusion and differentiation

Cheng-Chao Huang, Jing-Cao Li, Ming Xu et al. · Journal of Symbolic Computation · 2017 · 11 citations

Natural Sciences, Mathematics, Algebra +6