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

21 May 2021, 20:50 (edited 21 Jan 2022, 17:12)NeurIPS 2021 PosterReaders: Everyone
Keywords:
TL;DR:
Abstract:
Supplementary Material: pdf
Code Of Conduct:
Code:
13 Replies

Loading