ML Anthology

SMLE: Safe Machine Learning via Embedded Overapproximation

Matteo Francobaldi, Michele Lombardi
AAAI 2025 pp. 27286-27294
doi:10.1609/AAAI.V39I26.34938 /aaai/2025/francobaldi2025aaai-smle/
AAAI Semantic Scholar

Cite

Text

Francobaldi and Lombardi. "SMLE: Safe Machine Learning via Embedded Overapproximation." AAAI Conference on Artificial Intelligence, 2025. doi:10.1609/AAAI.V39I26.34938

Markdown

[Francobaldi and Lombardi. "SMLE: Safe Machine Learning via Embedded Overapproximation." AAAI Conference on Artificial Intelligence, 2025.](https://mlanthology.org/aaai/2025/francobaldi2025aaai-smle/) doi:10.1609/AAAI.V39I26.34938

BibTeX

@inproceedings{francobaldi2025aaai-smle,
  title     = {{SMLE: Safe Machine Learning via Embedded Overapproximation}},
  author    = {Francobaldi, Matteo and Lombardi, Michele},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2025},
  pages     = {27286-27294},
  doi       = {10.1609/AAAI.V39I26.34938},
  url       = {https://mlanthology.org/aaai/2025/francobaldi2025aaai-smle/}
}