Beta-CROWN
Publicβ-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification
Creat：2021-02-15T09:55:12
Update：2025-03-03T16:22:32
https://arxiv.org/pdf/2103.06624.pdf
29
Stars
0
Stars Increase
β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification