Name: Verified Intelligence
Type: Organization
Bio: Formal verification tools for AI. Led by Prof. Huan Zhang at UIUC, developed by a multi-institutional team from UIUC/CMU/UCLA/Drexel/Colombia
Blog: https://abcrown.org
Verified Intelligence's Projects
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)
auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
A reachability analysis tool for neural network controlled system, based on the alpha-beta-CROWN framework
Lyapunov-stable Neural Control for State and Output Feedback