PPaperPicks

Matteo Francobaldi

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2

Papers

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