auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
Why do you think that https://github.com/Verified-Intelligence/alpha-beta-CROWN is a good alternative to auto_LiRPA
auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
Why do you think that https://github.com/Verified-Intelligence/alpha-beta-CROWN is a good alternative to auto_LiRPA