Popular repositories Loading

1. auto_LiRPA auto_LiRPA Public

   auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs

   Python 292 78

2. alpha-beta-CROWN alpha-beta-CROWN Public

   alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)

   Python 260 65

3. Lyapunov_Stable_NN_Controllers Lyapunov_Stable_NN_Controllers Public

   Lyapunov-stable Neural Control for State and Output Feedback

   Python 60 14

4. alpha-beta-CROWN_vnncomp23 alpha-beta-CROWN_vnncomp23 Public

   Python 5

5. CROWN-Reach CROWN-Reach Public

   A reachability analysis tool for neural network controlled system, based on the alpha-beta-CROWN framework

   Python 5 1

6. onnx2pytorch onnx2pytorch Public

   Customized onnx2pytorch package for alpha-beta-CROWN verifier. Original version at /~https://github.com/Talmaj/onnx2pytorch

   Python 2