Francobaldi, M. and Lombardi, M. (2025) “SMLE: Safe Machine Learning via Embedded Overapproximation”, Proceedings of the AAAI Conference on Artificial Intelligence, 39(26), pp. 27286–27294. doi: 10.1609/aaai.v39i26.34938.