Davis Automated Reasoning Group

Pinned Loading

1. SyReNN SyReNN Public

   SyReNN: Symbolic Representations for Neural Networks

   Python 41 5

2. pikos_popl2020 pikos_popl2020 Public

   Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation

   C++ 17 1

3. PRDNN PRDNN Public

   Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."

   Python 10 4

4. mikos_sas2020 mikos_sas2020 Public

   Memory-Efficient Fixpoint Computation for Abstract Interpretation

   C++ 5 1

5. APRNN APRNN Public

   Code from PLDI '23 paper "Architecture-Preserving Provable Repair of Deep Neural Networks."

   HCL 9 1