FRANCOBALDI, Matteo; LOMBARDI, Michele; LODI, Andrea. SMiLE: Provably Enforcing Global Relational Properties in Neural Networks. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 40, n. 44, p. 37387–37395, 2026. DOI: 10.1609/aaai.v40i44.41071. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/41071. Acesso em: 17 may. 2026.