Pinned Repositories
abstract_neural_networks
Abstract Neural Networks (SAS 2020)
APRNN
Code from PLDI '23 paper "Architecture-Preserving Provable Repair of Deep Neural Networks."
bazel-latex
Bazel rules for building LaTeX documents with TeX Live.
DNNProvableRepairTutorial
Algorithms and Applications for Provable Repair of Deep Neural Networks.
mikos_sas2020
Memory-Efficient Fixpoint Computation for Abstract Interpretation
pikos_popl2020
Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
PRDNN
Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."
sifter
symbolic-abstraction
Reference implementations for Symbolic Abstraction algorithms.
SyReNN
SyReNN: Symbolic Representations for Neural Networks
Davis Automated Reasoning Group's Repositories
95616ARG/SyReNN
SyReNN: Symbolic Representations for Neural Networks
95616ARG/pikos_popl2020
Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
95616ARG/PRDNN
Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."
95616ARG/abstract_neural_networks
Abstract Neural Networks (SAS 2020)
95616ARG/APRNN
Code from PLDI '23 paper "Architecture-Preserving Provable Repair of Deep Neural Networks."
95616ARG/symbolic-abstraction
Reference implementations for Symbolic Abstraction algorithms.
95616ARG/mikos_sas2020
Memory-Efficient Fixpoint Computation for Abstract Interpretation
95616ARG/bazel-latex
Bazel rules for building LaTeX documents with TeX Live.
95616ARG/DNNProvableRepairTutorial
Algorithms and Applications for Provable Repair of Deep Neural Networks.
95616ARG/bazel_python
Support for reproducibly running Python scripts using Bazel.
95616ARG/PRoViT
PRoViT code for SAIV 2024 paper titled Provable Repair of Vision Transformers
95616ARG/sifter
95616ARG/SyReNN_GPU
GPU implementation of SyReNN: Symbolic Representations for Neural Networks