alireza-jafari / abcrown 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 and 2022)
License: BSD 3-Clause "New" or "Revised" License