Matthias König

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2 ECML-PKDD ×1

Frequent coauthors

Konstantin Kaulen

DBLP profile ↗ORCID search ↗

×1

Papers

Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification
AAAI 2025 ·
Konstantin Kaulen
DBLP profile ↗ORCID search ↗
Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing
AAAI 2024 · Matthias König
Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
ECML-PKDD 2024 · Matthias König