Pengfei Yang

According to our database, Pengfei Yang authored at least 22 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

ADVREPAIR: Provable Repair of Adversarial Attack.

Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Xiaowei Huang, Lijun Zhang

CoRR, 2024

DeepCDCL: An CDCL-based Neural Network Verification Framework.

Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang

CoRR, 2024

DeepCDCL: A CDCL-based Neural Network Verification Framework.

Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang

Proceedings of the Theoretical Aspects of Software Engineering, 2024

VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks.

Jianan Ma, Pengfei Yang, Jingyi Wang, Youcheng Sun, Cheng-Chao Huang, Zhen Wang

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks.

Pengfei Yang, Zhiming Chi, Zongxin Liu, Mengyu Zhao, Cheng-Chao Huang, Shaowei Cai, Lijun Zhang

CoRR, 2023

TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models.

Liang Zhang, Nathaniel Xu, Pengfei Yang, Gaojie Jin, Cheng-Chao Huang, Lijun Zhang

Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

2022

Weight Expansion: A New Perspective on Dropout and Generalization.

Gaojie Jin, Xinping Yi, Pengfei Yang, Lijun Zhang, Sven Schewe, Xiaowei Huang

Trans. Mach. Learn. Res., 2022

Safety Analysis of Autonomous Driving Systems Based on Model Learning.

Renjue Li, Tianhang Qin, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Lijun Zhang

CoRR, 2022

Defensive Design of Saturating Counters Based on Differential Privacy.

Depeng Liu, Lutan Zhao, Pengfei Yang, Bow-Yaw Wang, Rui Hou, Lijun Zhang, Naijun Zhan

CoRR, 2022

Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning.

Renjue Li, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Bai Xue, Lijun Zhang

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation.

Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang

Formal Aspects Comput., 2021

Ensemble Defense with Data Diversity: Weak Correlation Implies Strong Robustness.

Renjue Li, Hanwei Zhang, Pengfei Yang, Cheng-Chao Huang, Aimin Zhou, Bai Xue, Lijun Zhang

CoRR, 2021

Probabilistic Robustness Analysis for DNNs based on PAC Learning.

Renjue Li, Pengfei Yang, Cheng-Chao Huang, Bai Xue, Lijun Zhang

CoRR, 2021

Improving Neural Network Verification through Spurious Region Guided Refinement.

Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

PRODeep: a platform for robustness verification of deep neural networks.

Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, Holger Hermanns

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains.

David N. Jansen, Jan Friso Groote, Ferry Timmers, Pengfei Yang

Proceedings of the 31st International Conference on Concurrency Theory, 2020

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

Weipeng Cao, Pengfei Yang, Zhong Ming, Shubin Cai, Jiyong Zhang

Proceedings of the 6th IEEE International Conference on Big Data Security on Cloud, 2020

2019

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.

Pengfei Yang, Jiangchao Liu, Jianlin Li, Liqian Chen, Xiaowei Huang

CoRR, 2019

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.

Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang, Lijun Zhang

Proceedings of the Static Analysis - 26th International Symposium, 2019

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

Weipeng Cao, Muhammed J. A. Patwary, Pengfei Yang, Xizhao Wang, Zhong Ming

Proceedings of the International Joint Conference on Neural Networks, 2019

2018

Probabilistic bisimulation for realistic schedulers.

Lijun Zhang, Pengfei Yang, Lei Song, Holger Hermanns, Christian Eisentraut, David N. Jansen, Jens Chr. Godskesen

Acta Informatica, 2018

2017

Distribution-Based Bisimulation for Labelled Markov Processes.

Pengfei Yang, David N. Jansen, Lijun Zhang

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017