Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Page not in menu
This is a page not in th emain menu
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2
publications
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
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
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
MATH51 Discrete Mathematics
Undergraduate Course, Santa Clara University, Mathematics, 2019
Peer Educator for MATH51 Discrete Mathematics.
ECS140A Programming Languages
Undergraduate Course, University of California, Davis, Computer Science Engineering, 2022
Teaching Assistant for ECS140A Programming Languages.
ECS32A Introduction to Programming
Undergraduate Course, University of California, Davis, Computer Science Engineering, 2025
Teaching Assistant for ECS32A Introduction to Programming.
AIFS High School Summer AI Tech Camp
High School Camp, University of California, Davis, AI Institute for Food Systems, 2026
Instructor for AIFS High School Summer AI Tech Camp.