2 papers
cs.LG2025
SMiLE: Provably Enforcing Global Relational Properties in Neural Networks
Matteo Francobaldi, Michele Lombardi, Andrea Lodi
Artificial Intelligence systems are increasingly deployed in settings where ensuring robustness, fairness, or domain-specific properties is essential for regulation compliance and…
cs.LG2024
SMLE: Safe Machine Learning via Embedded Overapproximation
Matteo Francobaldi, Michele Lombardi
Despite the extent of recent advances in Machine Learning (ML) and Neural Networks, providing formal guarantees on the behavior of these systems is still an open problem, and a cru…