Co-author SMLE: Safe Machine Learning via Embedded Overapproximation TA297 — Optimization for Safe and Private Machine Learning 23 Jul 2024 08:30 — Parallel Session