Pengfei Yang

4 papers at tracked venues · 4 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

ICSE ×2 AAAI ×1 FSE ×1

Frequent coauthors

Jianan Ma

×2

Cheng-Chao Huang

×2

Jingyi Wang

×2

Xiaowei Huang

×2

Lijun Zhang

×2

Zengyu Liu

×1

Bai Xue

×1

Ji Wang

×1

Zhiming Chi

×1

Renjue Li

×1

Zongxin Liu

×1

Zhe Zhao

×1

Papers

Precondition Synthesis for Deep Neural Networks with Statistical Guarantees
FSE 2026 ·
Zengyu Liu
,
Bai Xue
, Pengfei Yang,
Ji Wang
Patch Synthesis for Property Repair of Deep Neural Networks
ICSE 2025 ·
Zhiming Chi
,
Jianan Ma
, Pengfei Yang,
Cheng-Chao Huang
,
Renjue Li
,
Jingyi Wang
,
Xiaowei Huang
,
Lijun Zhang
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency
AAAI 2025 ·
Zongxin Liu
,
Zhe Zhao
,
Fu Song
,
Jun Sun
, Pengfei Yang,
Xiaowei Huang
,
Lijun Zhang
VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks
ICSE 2024 ·
Jianan Ma
, Pengfei Yang,
Jingyi Wang
,
Youcheng Sun
,
Cheng-Chao Huang
,
Zhen Wang