Popular repositories

1. auto_LiRPA auto_LiRPA Public

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

   Python 266 65

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, and 2023)

   Python 207 46

3. Lyapunov_Stable_NN_Controllers Lyapunov_Stable_NN_Controllers Public

   Python 14 2

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

   Python 4