Suggest an 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

A URL to the alternative repo (e.g. GitHub, GitLab)

Here you can share your experience with the project you are suggesting or its comparison with auto_LiRPA. Optional.

A valid email to send you a verification link when necessary or log in.