Verified Intelligence
Formal verification tools for AI. Led by Prof. Huan Zhang at UIUC, developed by a multi-institutional team from UIUC/CMU/UCLA/Drexel/Colombia
Popular repositories
-
auto_LiRPA
auto_LiRPA Publicauto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
-
alpha-beta-CROWN
alpha-beta-CROWN Publicalpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)
-
-
Repositories
Showing 4 of 4 repositories
- alpha-beta-CROWN Public
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)
-
- auto_LiRPA Public
auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
- alpha-beta-CROWN_vnncomp23 Public