Matteo Francobaldi

According to our database, Matteo Francobaldi authored at least 4 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

SMiLE: Provably Enforcing Global Relational Properties in Neural Networks.

Matteo Francobaldi, Michele Lombardi, Andrea Lodi

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Learning to use local cuts.

Timo Berthold, Matteo Francobaldi, Gregor Hendel

Math. Program. Comput., September, 2025

SMLE: Safe Machine Learning via Embedded Overapproximation.

Matteo Francobaldi, Michele Lombardi

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2023

TinderAI: Support System for Matching AI Algorithms and Embedded Devices.

Matteo Francobaldi, Allegra De Filippo, Andrea Borghesi, Nikola Pizurica, Igor Jovancevic, Tim Llewellynn, Miguel de Prado

Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023