ML Anthology
Authors
Search
About
Francobaldi, Matteo
1 publications
AAAI
2025
SMLE: Safe Machine Learning via Embedded Overapproximation
Matteo Francobaldi
,
Michele Lombardi