Pengfei Yang

An Improved Fuzziness based Random Vector Functional Link Network for Liver Disease Detection

Weipeng Cao, Pengfei Yang, Zhong Ming et al. · 2020 · 21 citations

Computing, Computer Science, Data Mining +10

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

An Initial Study on the Relationship Between Meta Features of Dataset and the Initialization of NNRW

Weipeng Cao, Muhammed J. A. Patwary, Pengfei Yang et al. · 2019 · 18 citations

Computing, Computer Science, Data Mining +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