[PLDI'23] Architecture-Preserving Provable Repair of Deep Neural Networks

ACM SIGPLAN - [PLDI'23] Architecture-Preserving Provable Repair of Deep Neural Networks