PPaperPicks

Matthias König

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2ECML-PKDD ×1

Frequent coauthors

Holger H. Hoos
×3
Jan N. van Rijn
×2
Konstantin Kaulen
×1
Xiyue Zhang
×1
Marta Kwiatkowska
×1

Papers

  1. Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification
    AAAI 2025 ·
    Konstantin Kaulen
    , Matthias König,
    Holger H. Hoos
  2. Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing
    AAAI 2024 · Matthias König,
    Holger H. Hoos
    ,
    Jan N. van Rijn
  3. Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
    ECML-PKDD 2024 · Matthias König,
    Xiyue Zhang
    ,
    Holger H. Hoos
    ,
    Marta Kwiatkowska
    ,
    Jan N. van Rijn