Pengfei Yang
Cited by
Cited by
Analyzing deep neural networks with symbolic propagation: Towards higher precision and faster verification
J Li, J Liu, P Yang, L Chen, X Huang, L Zhang
International Static Analysis Symposium, 296-319, 2019
An initial study on the relationship between meta features of dataset and the initialization of NNRW
W Cao, MJA Patwary, P Yang, X Wang, Z Ming
2019 international joint conference on neural networks (IJCNN), 1-8, 2019
Prodeep: a platform for robustness verification of deep neural networks
R Li, J Li, CC Huang, P Yang, X Huang, L Zhang, B Xue, H Hermanns
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
Distribution-based bisimulation for labelled Markov processes
P Yang, DN Jansen, L Zhang
International Conference on Formal Modeling and Analysis of Timed Systems …, 2017
An improved fuzziness based random vector functional link network for liver disease detection
W Cao, P Yang, Z Ming, S Cai, J Zhang
2020 IEEE 6th Intl Conference on Big Data Security on Cloud (BigDataSecurity …, 2020
Improving neural network verification through spurious region guided refinement
P Yang, R Li, J Li, CC Huang, J Wang, J Sun, B Xue, L Zhang
Tools and Algorithms for the Construction and Analysis of Systems 12651, 389, 2021
A near-linear-time algorithm for weak bisimilarity on Markov chains
DN Jansen, JF Groote, F Timmers, P Yang
31st International Conference on Concurrency Theory (CONCUR 2020), 2020
Probabilistic bisimulation for realistic schedulers
L Zhang, P Yang, L Song, H Hermanns, C Eisentraut, DN Jansen, ...
Acta Informatica 55 (6), 461-488, 2018
Enhancing robustness verification for deep neural networks via symbolic propagation
P Yang, J Li, J Liu, CC Huang, R Li, L Chen, X Huang, L Zhang
Formal Aspects of Computing, 1-29, 2021
Probabilistic Robustness Analysis for DNNs based on PAC Learning
R Li, P Yang, CC Huang, B Xue, L Zhang
arXiv preprint arXiv:2101.10102, 2021
Ensemble Defense with Data Diversity: Weak Correlation Implies Strong Robustness
R Li, H Zhang, P Yang, CC Huang, A Zhou, B Xue, L Zhang
arXiv preprint arXiv:2106.02867, 2021
The system can't perform the operation now. Try again later.
Articles 1–11