Provable repair of deep neural networks.

Matthew Sotoudeh, Aditya V. Thakur

Browse the full PLDI paper archive.