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)