VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks.

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

Browse the full ICSE paper archive.