Stephanie Nawas

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 2

Top Topics

Damage Assessment

Multilayer Perceptron

Neural Network Structure

Back Propagation

Top Venues

Proc. ACM Program. Lang.

Publications

Zhe Tao, Stephanie Nawas, Jacqueline Mitchell, Aditya V. Thakur
Architecture-Preserving Provable Repair of Deep Neural Networks. CoRR (2023)
Zhe Tao, Stephanie Nawas, Jacqueline Mitchell, Aditya V. Thakur
Architecture-Preserving Provable Repair of Deep Neural Networks. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Stephanie Nawas, Zhe Tao, Aditya V. Thakur
Provable Repair of Vision Transformers. SAIV (2014)