Popular repositories Loading

1. 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, 2024, 2025)

   Python 382 95

2. auto_LiRPA auto_LiRPA Public

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

   Python 348 105

3. Lyapunov_Stable_NN_Controllers Lyapunov_Stable_NN_Controllers Public

   Lyapunov-stable Neural Control for State and Output Feedback

   Python 89 22

4. CROWN-Reach CROWN-Reach Public

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

   Python 10 2

5. abCROWN_Control_Tutorial abCROWN_Control_Tutorial Public

   Guidance and examples for using auto_LiRPA and alpha-beta-CROWN in control research

   Jupyter Notebook 9 1

6. Two-Stage_Neural_Controller_Training Two-Stage_Neural_Controller_Training Public

   Two-Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion

   Python 8 2