Matteo Francobaldi, Michele Lombardi 0001. SMLE: Safe Machine Learning via Embedded Overapproximation. In Toby Walsh, Julie Shah, Zico Kolter, editors, AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA. pages 27286-27294, AAAI Press, 2025. [doi]
Abstract is missing.