VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

157 Downloads (Pure)

Original language	English
Title of host publication	46th International Conference on Software Engineering (ICSE 2024)
Publication status	Accepted/In press - 2 Sept 2023

Access to Document

@inproceedings{d43767c7200e441cb731703477b37750,

title = "VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks",

author = "Jianan Ma and Pengfei Yang and Jingyi Wang and Youcheng Sun and Cheng-Chao Huang and Zhen Wang",

year = "2023",

month = sep,

day = "2",

language = "English",

booktitle = "46th International Conference on Software Engineering (ICSE 2024)",

}