Francobaldi, Matteo, and Michele Lombardi. “SMLE: Safe Machine Learning via Embedded Overapproximation”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 39, no. 26, Apr. 2025, pp. 27286-94, doi:10.1609/aaai.v39i26.34938.