Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification

Aug-19-2025, 00:34:40 GMT–Neural Information Processing Systems 

By terminating BaB early, our method can also be used for efficient incomplete verification.