Verified-Intelligence / alpha-beta-CROWNLinks

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)
286Updated 4 months ago

Alternatives and similar repositories for alpha-beta-CROWN

Users that are interested in alpha-beta-CROWN are comparing it to the libraries listed below

Sorting: