SMLE: Safe Machine Learning via Embedded Overapproximation

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]

Authors

Matteo Francobaldi

This author has not been identified. Look up 'Matteo Francobaldi' in Google

Michele Lombardi 0001

This author has not been identified. Look up 'Michele Lombardi 0001' in Google