The author investigates the success of certified training methods using Interval Bound Propagation (IBP) and highlights the importance of network architecture choices in achieving high tightness for robustness certification.
Gaussian Loss Smoothing can overcome the paradox of certified training by inducing continuity and differentiability in loss surfaces, leading to improved network performance.