PPaperPicks

Tobias Ladner

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1ICML ×1

Frequent coauthors

Matthias Althoff
×2
Shahaf Bassan
×1
Yizhak Yisrael Elboher
×1
Guy Katz
×1

Papers

  1. Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
    ICML 2025 ·
    Shahaf Bassan
    ,
    Yizhak Yisrael Elboher
    , Tobias Ladner,
    Matthias Althoff
    ,
    Guy Katz
  2. Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification
    AAAI 2024 · Tobias Ladner,
    Matthias Althoff