jorgejc2 / alpha-beta-crown-personal-development Goto Github PK
View Code? Open in Web Editor NEWThis project forked from verified-intelligence/alpha-beta-crown
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)
License: Other