Publications

Provable Repair of Vision Transformers

Published in Symposium on AI Verification, 2024

Recommended citation: Stephanie Nawas, Zhe Tao, and Aditya V. Thakur. 2024. Provable Repair of Vision Transformers. Symposium on AI Verification SAIV (July 2024). https://link.springer.com/book/9783031651113

Architecture-Preserving Provable Repair of Deep Neural Networks

Published in Proceedings of the ACM on Programming Languages, 2023

Recommended citation: Zhe Tao, Stephanie Nawas, Jacqueline Mitchell, and Aditya V. Thakur. 2023. Architecture-Preserving Provable Repair of Deep Neural Networks. Proc. ACM Program. Lang. 7, PLDI, Article 124 (June 2023), 25 pages. https://doi.org/10.1145/3591238