alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)
Why do you think that https://github.com/Verified-Intelligence/auto_LiRPA is a good alternative to alpha-beta-CROWN
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)
Why do you think that https://github.com/Verified-Intelligence/auto_LiRPA is a good alternative to alpha-beta-CROWN