Davis Automated Reasoning Group

All

13 repositories

PRoViT
Public
PRoViT code for SAIV 2024 paper titled Provable Repair of Vision Transformers
Python
•
Other
•0•0•0•0•Updated Aug 22, 2024Aug 22, 2024
DNNProvableRepairTutorial
Public
Algorithms and Applications for Provable Repair of Deep Neural Networks.
HCL
•
Other
•1•2•0•0•Updated Jul 24, 2024Jul 24, 2024
APRNN
Public
Code from PLDI '23 paper "Architecture-Preserving Provable Repair of Deep Neural Networks."
deep-neural-networks trustworthy-ai provable-repair
HCL
•
Other
•0•6•1•0•Updated Jun 1, 2024Jun 1, 2024
SyReNN_GPU
Public
GPU implementation of SyReNN: Symbolic Representations for Neural Networks
Python
•
MIT License
•0•0•0•0•Updated Oct 10, 2023Oct 10, 2023
SyReNN
Public
SyReNN: Symbolic Representations for Neural Networks
deep-neural-networks neural-network verification integrated-gradients network-patching trustworthy-machine-learning trustworthy-ai
Python
•
MIT License
•5•40•0•8•Updated Mar 20, 2023Mar 20, 2023
bazel_python
Public
Support for reproducibly running Python scripts using Bazel.
Starlark
•
MIT License
•1•0•5•1•Updated Feb 21, 2023Feb 21, 2023
PRDNN
Public
Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."
deep-neural-networks mnist imagenet trustworthy-machine-learning trustworthy-ai provable-repair
Python
•
MIT License
•4•10•1•1•Updated Nov 26, 2022Nov 26, 2022
bazel-latex
Public
Bazel rules for building LaTeX documents with TeX Live.
latex bazel
Python
•
Other
•0•3•1•0•Updated Jan 11, 2021Jan 11, 2021
sifter
Public
analogies
Python
•
GNU Affero General Public License v3.0
•0•0•0•0•Updated Nov 10, 2020Nov 10, 2020
mikos_sas2020
Public
Memory-Efficient Fixpoint Computation for Abstract Interpretation
abstract-interpretation ikos static-analysis
C++
•
Other
•1•5•0•0•Updated Sep 21, 2020Sep 21, 2020
abstract_neural_networks
Public
Abstract Neural Networks (SAS 2020)
deep-neural-networks dnn abstract-interpretation
Python
•
MIT License
•2•6•0•0•Updated Sep 15, 2020Sep 15, 2020
pikos_popl2020
Public
Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
static-analysis parallelism abstract-interpretation ikos
C++
•
Other
•2•16•0•0•Updated Aug 24, 2020Aug 24, 2020
symbolic-abstraction
Public
Reference implementations for Symbolic Abstraction algorithms.
abstract-interpretation symbolic-abstraction automating-abstract-transformers smt-solver
Python
•
MIT License
•1•6•0•0•Updated Mar 20, 2020Mar 20, 2020