Skip to content
@95616ARG

Davis Automated Reasoning Group

Pinned Loading

  1. SyReNN SyReNN Public

    SyReNN: Symbolic Representations for Neural Networks

    Python 40 5

  2. pikos_popl2020 pikos_popl2020 Public

    Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation

    C++ 16 2

  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 6

Repositories

Showing 10 of 13 repositories
  • PRoViT Public

    PRoViT code for SAIV 2024 paper titled Provable Repair of Vision Transformers

    95616ARG/PRoViT’s past year of commit activity
    Python 0 0 0 0 Updated Aug 22, 2024
  • DNNProvableRepairTutorial Public

    Algorithms and Applications for Provable Repair of Deep Neural Networks.

    95616ARG/DNNProvableRepairTutorial’s past year of commit activity
    HCL 2 1 0 0 Updated Jul 24, 2024
  • APRNN Public

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

    95616ARG/APRNN’s past year of commit activity
    HCL 6 0 1 0 Updated Jun 1, 2024
  • SyReNN_GPU Public

    GPU implementation of SyReNN: Symbolic Representations for Neural Networks

    95616ARG/SyReNN_GPU’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Oct 10, 2023
  • SyReNN Public

    SyReNN: Symbolic Representations for Neural Networks

    95616ARG/SyReNN’s past year of commit activity
    Python 40 MIT 5 0 8 Updated Mar 20, 2023
  • bazel_python Public

    Support for reproducibly running Python scripts using Bazel.

    95616ARG/bazel_python’s past year of commit activity
    Starlark 0 MIT 1 5 1 Updated Feb 21, 2023
  • PRDNN Public

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

    95616ARG/PRDNN’s past year of commit activity
    Python 10 MIT 4 1 1 Updated Nov 26, 2022
  • bazel-latex Public

    Bazel rules for building LaTeX documents with TeX Live.

    95616ARG/bazel-latex’s past year of commit activity
    Python 3 0 1 0 Updated Jan 11, 2021
  • sifter Public
    95616ARG/sifter’s past year of commit activity
    Python 0 AGPL-3.0 0 0 0 Updated Nov 10, 2020
  • mikos_sas2020 Public

    Memory-Efficient Fixpoint Computation for Abstract Interpretation

    95616ARG/mikos_sas2020’s past year of commit activity
    C++ 5 1 0 0 Updated Sep 21, 2020
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…