GitHub repository: KaidiXu/Beta-CROWN
Primary language: Python
Created: 2021-02-15T01:55:12Z
Description: β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification