Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification
- Award ID(s):
- 1932351
- NSF-PAR ID:
- 10300953
- Date Published:
- Journal Name:
- Proceedings of the 35th Conference on Neural Information Processing Systems (NeurIPS)
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
No document suggestions found