recursivemake / beta-crown Goto Github PK
View Code? Open in Web Editor NEWThis project forked from kaidixu/beta-crown
β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification
Home Page: https://arxiv.org/pdf/2103.06624.pdf
License: BSD 2-Clause "Simplified" License