Renjue Li

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

Improving Neural Network Verification through Spurious Region Guided Refinement

Pengfei Yang, Lijun Zhang, Renjue Li et al. · 2021 · 14 citations

Computing, Computer Science, Algorithms +12

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

Reach-avoid Analysis for Stochastic Discrete-time Systems

Xue Bai, Renjue Li, Naijun Zhan et al. · 2021 · 11 citations

Engineering, Mathematics, Systems Engineering +9