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

Shahaf Bassan
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
    ICML 2025 ·
    Shahaf Bassan
    DBLP profile ↗ORCID search ↗
  2. Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification
    AAAI 2024 · Tobias Ladner