Matteo Francobaldi, Michele Lombardi 0001, Andrea Lodi 0001. SMiLE: Provably Enforcing Global Relational Properties in Neural Networks. In Sven Koenig, Chad Jenkins, Matthew E. Taylor, editors, Fortieth AAAI Conference on Artificial Intelligence, Thirty-Eighth Conference on Innovative Applications of Artificial Intelligence, Sixteenth Symposium on Educational Advances in Artificial Intelligence, AAAI 2026, Singapore, January 20-27, 2026. pages 37387-37395, AAAI Press, 2026. [doi]
@inproceedings{FrancobaldiLL26,
title = {SMiLE: Provably Enforcing Global Relational Properties in Neural Networks},
author = {Matteo Francobaldi and Michele Lombardi 0001 and Andrea Lodi 0001},
year = {2026},
doi = {10.1609/aaai.v40i44.41071},
url = {https://doi.org/10.1609/aaai.v40i44.41071},
researchr = {https://researchr.org/publication/FrancobaldiLL26},
cites = {0},
citedby = {0},
pages = {37387-37395},
booktitle = {Fortieth AAAI Conference on Artificial Intelligence, Thirty-Eighth Conference on Innovative Applications of Artificial Intelligence, Sixteenth Symposium on Educational Advances in Artificial Intelligence, AAAI 2026, Singapore, January 20-27, 2026},
editor = {Sven Koenig and Chad Jenkins and Matthew E. Taylor},
publisher = {AAAI Press},
isbn = {978-1-57735-906-7},
}