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 Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019 | 90 | 2019 |
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 International Conference on Tools and Algorithms for the Construction and …, 2021 | 42 | 2021 |
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 | 29 | 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 | 25 | 2020 |
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 | 20 | 2020 |
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 33 (3), 407-435, 2021 | 18 | 2021 |
Towards practical robustness analysis for DNNs based on PAC-model learning R Li, P Yang, CC Huang, Y Sun, B Xue, L Zhang Proceedings of the 44th International Conference on Software Engineering …, 2022 | 11 | 2022 |
Weight expansion: A new perspective on dropout and generalization G Jin, X Yi, P Yang, L Zhang, S Schewe, X Huang arXiv preprint arXiv:2201.09209, 2022 | 6 | 2022 |
Distribution-based bisimulation for labelled markov processes P Yang, DN Jansen, L Zhang Formal Modeling and Analysis of Timed Systems: 15th International Conference …, 2017 | 6 | 2017 |
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 | 5 | 2020 |
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 | 3 | 2021 |
Probabilistic bisimulation for realistic schedulers L Zhang, P Yang, L Song, H Hermanns, C Eisentraut, DN Jansen, ... Acta Informatica 55, 461-488, 2018 | 3 | 2018 |
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks P Yang, Z Chi, Z Liu, M Zhao, CC Huang, S Cai, L Zhang arXiv preprint arXiv:2302.06455, 2023 | 2 | 2023 |
Safety Analysis of Autonomous Driving Systems Based on Model Learning R Li, T Qin, P Yang, CC Huang, Y Sun, L Zhang arXiv preprint arXiv:2211.12733, 2022 | 2 | 2022 |
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 | 2 | 2021 |
TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models L Zhang, N Xu, P Yang, G Jin, CC Huang, L Zhang Proceedings of the IEEE/CVF International Conference on Computer Vision …, 2023 | 1 | 2023 |
ADVREPAIR: Provable Repair of Adversarial Attack Z Chi, J Ma, P Yang, CC Huang, R Li, X Huang, L Zhang arXiv preprint arXiv:2404.01642, 2024 | | 2024 |
DeepCDCL: An CDCL-based Neural Network Verification Framework Z Liu, P Yang, L Zhang, X Huang arXiv preprint arXiv:2403.07956, 2024 | | 2024 |
VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks J Ma, P Yang, J Wang, Y Sun, CC Huang, Z Wang Proceedings of the 46th IEEE/ACM International Conference on Software …, 2024 | | 2024 |
Defensive Design of Saturating Counters Based on Differential Privacy D Liu, L Zhao, P Yang, BY Wang, R Hou, L Zhang, N Zhan arXiv preprint arXiv:2206.00279, 2022 | | 2022 |