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

Grigory Neustroev
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Let a Neural Network be Your Invariant
    NeurIPS 2025 · Mirco Giacobbe
  2. Neural Continuous-Time Supermartingale Certificates
    AAAI 2025 ·
    Grigory Neustroev
    DBLP profile ↗ORCID search ↗
  3. Neural Model Checking
    NeurIPS 2024 · Mirco Giacobbe