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