Stefan Balauca, Mark Niklas Müller, Yuhao Mao, Maximilian Baader, Marc Fischer, Martin T. Vechev: Gaussian Loss Smoothing Enables Certified Training with Tight Convex Relaxations. Trans. Mach. Learn. Res. 2025 (2025)