SMLE: Safe Machine Learning via Embedded Overapproximation
Matteo Francobaldi; Michele Lombardi
- Published
- Publisher
- Association for the Advancement of Artificial Intelligence (AAAI)
- Journal / collection
- Proceedings of the AAAI Conference on Artificial Intelligence
- Research area
- AI & compute
- Source type
- Journal article
- DOI
- 10.1609/aaai.v39i26.34938
The original publisher provides the full text and its access options.
Cite this source
Matteo Francobaldi; Michele Lombardi. SMLE: Safe Machine Learning via Embedded Overapproximation. Proceedings of the AAAI Conference on Artificial Intelligence. 2025-04-11. https://doi.org/10.1609/aaai.v39i26.34938