MIBP-Cert: Certified Training against Data Perturbations with Mixed-Integer Bilinear Programs - Lorenz, Tobias; Kwiatkowska, Marta; Fritz, Mario (Advances in Neural Information Processing Systems, 2025)