Repositories list

• Marabou

  Public
  C++

  •

  Other

  •93•268•37•16•Updated Dec 3, 2024Dec 3, 2024

• artifact-fmcad24-docking

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

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •0•1•0•0•Updated Jul 22, 2024Jul 22, 2024

• artifact-dasc-docking

  Public
  Code and data accompanying DASC 2024 paper

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated Jul 9, 2024Jul 9, 2024

• VeriX

  Public
  VeriX: Towards Verified Explainability of Deep Neural Networks

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •1•9•2•0•Updated Mar 22, 2024Mar 22, 2024

• SafeRL

  Public
  Fork of SafeRL repository used in Stanford FMCAD and DASC papers

  MATLAB

  •

  MIT License

  •7•0•0•0•Updated Mar 12, 2024Mar 12, 2024

• bounding-softmax

  Public
  Jupyter Notebook

  •0•2•0•0•Updated Apr 11, 2023Apr 11, 2023