Matteo Francobaldi, Michele Lombardi 0001. SMLE: Safe Machine Learning via Embedded Overapproximation. In Toby Walsh, Julie Shah, Zico Kolter, editors, AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA. pages 27286-27294, AAAI Press, 2025. [doi]
@inproceedings{Francobaldi025,
title = {SMLE: Safe Machine Learning via Embedded Overapproximation},
author = {Matteo Francobaldi and Michele Lombardi 0001},
year = {2025},
doi = {10.1609/aaai.v39i26.34938},
url = {https://doi.org/10.1609/aaai.v39i26.34938},
researchr = {https://researchr.org/publication/Francobaldi025},
cites = {0},
citedby = {0},
pages = {27286-27294},
booktitle = {AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA},
editor = {Toby Walsh and Julie Shah and Zico Kolter},
publisher = {AAAI Press},
isbn = {978-1-57735-897-8},
}