Architecture-Preserving Provable Repair of Deep Neural Networks. - Zhe Tao; Stephanie Nawas; Jacqueline Mitchell 001; Aditya V. Thakur (Proc. ACM Program. Lang., 2023)

Provable Repair of Vision Transformers. - Stephanie Nawas; Zhe Tao; Aditya V. Thakur (SAIV, 2024)