Publication October 10, 2023
We are delighted that our paper about VeRe, a verification guided synthesis for repairing deep neural networks, has been accepted in ICSE 2024.