Verified Intelligence
Results
3
repositories owned by
Verified Intelligence
auto_LiRPA
265
Stars
65
Forks
Watchers
auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
alpha-beta-CROWN
210
Stars
46
Forks
Watchers
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)
Lyapunov_Stable_NN_Controllers
53
Stars
11
Forks
Watchers
Lyapunov-stable Neural Control for State and Output Feedback