Publications

1. Architecture Preserving Provable Repair of Deep Neural Networks. Zhe Tao, Stephanie Nawas, Jacqueline Mitchell, Aditya V. Thakur, PLDI 2023. [link]