Matthias König

PhD student, Leiden University, Leiden University

Joined

June 2022

Names

Matthias König (Preferred)

Emails

****@liacs.leidenuniv.nl (Confirmed)

Personal Links

Career & Education History

PhD student

Leiden University, Leiden University (liacs.leidenuniv.nl)

Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification
Konstantin Kaulen, Matthias König, Holger H. Hoos
- AAAI 2025
- Readers: Everyone
Critically Assessing the State of the Art in Neural Network Verification.
Annelot Willemijn Bosman, Matthias König, Holger Hoos, Jan N. van Rijn
- Journal of machine learning research (JMLR)
- Readers: Everyone

Co-Authors