PPaperPicks

Mirco Giacobbe

3 papers at tracked venues · 3 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

NeurIPS ×2AAAI ×1

Frequent coauthors

Daniel Kroening
×2
Abhinandan Pal
×2
Michael Tautschnig
×2
Grigory Neustroev
×1
Anna Lukina
×1

Papers

  1. Let a Neural Network be Your Invariant
    NeurIPS 2025 · Mirco Giacobbe,
    Daniel Kroening
    ,
    Abhinandan Pal
    ,
    Michael Tautschnig
  2. Neural Continuous-Time Supermartingale Certificates
    AAAI 2025 ·
    Grigory Neustroev
    , Mirco Giacobbe,
    Anna Lukina
  3. Neural Model Checking
    NeurIPS 2024 · Mirco Giacobbe,
    Daniel Kroening
    ,
    Abhinandan Pal
    ,
    Michael Tautschnig