Francobaldi, M.; Lombardi, M.; Lodi, A. SMiLE: Provably Enforcing Global Relational Properties in Neural Networks. AAAI 2026, 40, 37387-37395.