Popular repositories Loading

1. Marabou Marabou Public

   C++ 340 110

2. VeriX VeriX Public

   VeriX: Towards Verified Explainability of Deep Neural Networks

   Python 13 3

3. artifact-fmcad24-docking artifact-fmcad24-docking Public

   Tools and scripts for reproducing results for FMCAD 2024 paper on Neural Lyapunov Barrier Certificates

   Python 4 1

4. bounding-softmax bounding-softmax Public

   Jupyter Notebook 2

5. artifact-dasc-docking artifact-dasc-docking Public

   Code and data accompanying DASC 2024 paper

   Python

6. SafeRL SafeRL Public

   Forked from act3-ace/SafeRL

   Fork of SafeRL repository used in Stanford FMCAD and DASC papers

   MATLAB