lemutisme / 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 2021, 2022, and 2023)
License: BSD 3-Clause "New" or "Revised" License