PPaperPicks

Luca Marzari

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2ECAI ×2AAMAS ×1IJCAI ×1

Frequent coauthors

Alessandro Farinelli
×4
Ferdinando Cicalese
×3
Enrico Marchesini
×2
Francesco Leofante
×2
Manuele Bicego
×1
Isabella Mastroeni
×1
Priya L. Donti
×1
Changliu Liu
×1
Junqi Jiang
×1
Aaryan Purohit
×1
Davide Corsi
×1

Papers

  1. On the Probabilistic Learnability of Compact Neural Network Preimage Bounds
    AAAI 2026 · Luca Marzari,
    Manuele Bicego
    ,
    Ferdinando Cicalese
    ,
    Alessandro Farinelli
  2. Advancing Neural Network Verification Through Hierarchical Safety Abstract Interpretation
    ECAI 2025 · Luca Marzari,
    Isabella Mastroeni
    ,
    Alessandro Farinelli
  3. Improving Policy Optimization via ε-Retrain
    AAMAS 2025 · Luca Marzari,
    Priya L. Donti
    ,
    Changliu Liu
    ,
    Enrico Marchesini
  4. RobustX: Robust Counterfactual Explanations Made Easy
    IJCAI 2025 ·
    Junqi Jiang
    , Luca Marzari,
    Aaryan Purohit
    ,
    Francesco Leofante
  5. Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
    AAAI 2024 · Luca Marzari,
    Davide Corsi
    ,
    Enrico Marchesini
    ,
    Alessandro Farinelli
    ,
    Ferdinando Cicalese
  6. Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations
    ECAI 2024 · Luca Marzari,
    Francesco Leofante
    ,
    Ferdinando Cicalese
    ,
    Alessandro Farinelli