liuyixin-louis / alpha-beta-crown 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'21)
License: BSD 3-Clause "New" or "Revised" License