Stephanie Nawas

According to our database, Stephanie Nawas authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Provable Repair of Vision Transformers.

Stephanie Nawas, Zhe Tao, Aditya V. Thakur

Proceedings of the AI Verification - First International Symposium, 2024

2023

Architecture-Preserving Provable Repair of Deep Neural Networks.

Zhe Tao, Stephanie Nawas, Jacqueline Mitchell, Aditya V. Thakur

Proc. ACM Program. Lang., 2023