Understanding Certified Training with Interval Bound Propagation.

arXiv:2306.10426v3 Announce Type: replace-cross Abstract: As robustness verification methods are becoming more precise, training certifiably robust neural networks is becoming ever more relevant. To this end, certified training methods compute and then optimiz