Certified Training: Small Boxes are All You Need. (arXiv:2210.04871v2 [cs.LG] UPDATED)
To obtain, deterministic guarantees of adversarial robustness, specialized training methods are used. We propose, SABR, a novel such certified training method, based on the key insight that propagating interval bounds…