PPaperPicks

Matteo Francobaldi

2 papers at tracked venues · 2 at CORE A* · active 2025–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2

Frequent coauthors

Michele Lombardi
×2
Andrea Lodi
×1

Papers

  1. SMiLE: Provably Enforcing Global Relational Properties in Neural Networks
    AAAI 2026 · Matteo Francobaldi,
    Michele Lombardi
    ,
    Andrea Lodi
  2. SMLE: Safe Machine Learning via Embedded Overapproximation
    AAAI 2025 · Matteo Francobaldi,
    Michele Lombardi