M. Francobaldi, M. Lombardi, and A. Lodi, “SMiLE: Provably Enforcing Global Relational Properties in Neural Networks”, AAAI, vol. 40, no. 44, pp. 37387–37395, Mar. 2026.