Popular repositories Loading

1. Marabou Marabou Public

   C++ 289 104

2. VeriX VeriX Public

   VeriX: Towards Verified Explainability of Deep Neural Networks

   Python 9 1

3. bounding-softmax bounding-softmax Public

   Jupyter Notebook 2

4. artifact-fmcad24-docking artifact-fmcad24-docking Public

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

   Python 2 1

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