Pinned Loading

1. APRNN APRNN Public

   Forked from 95616ARG/APRNN

   Code for Tao, Zhe, et al. "Architecture-preserving provable repair of deep neural networks." PLDI 2023.

   HCL

2. dice-star dice-star Public

   Forked from verified-HRoT/dice-star

   Code for Tao, Zhe, et al. "DICE*: A formally verified implementation of DICE measured boot." USENIX Security 2021.

   F*

3. PRoViT PRoViT Public

   Forked from 95616ARG/PRoViT

   Code for Nawas, Stephanie, Zhe Tao, and Aditya V. Thakur. "Provable Repair of Vision Transformers." SAIV 2024.

   Python

4. SyReNN_GPU SyReNN_GPU Public

   Forked from 95616ARG/SyReNN_GPU

   GPU implementation for Sotoudeh, Matthew*, Zhe Tao*, and Aditya V. Thakur. "SyReNN: A tool for analyzing deep neural networks." STTT 2023.

   Python