Francobaldi, Matteo, Michele Lombardi, and Andrea Lodi. 2026. “SMiLE: Provably Enforcing Global Relational Properties in Neural Networks”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (44):37387-95. https://doi.org/10.1609/aaai.v40i44.41071.