Jianan Ma, Pengfei Yang, Jingyi Wang, Youcheng Sun, Cheng-Chao Huang, Zhen Wang. VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks. In Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024. ACM, 2024. [doi]
@inproceedings{MaYWSHW24,
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 = {2024},
doi = {10.1145/3597503.3623332},
url = {https://doi.org/10.1145/3597503.3623332},
researchr = {https://researchr.org/publication/MaYWSHW24},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024},
publisher = {ACM},
}