Matthias König

Affiliations:

Leiden University, Institute of Advanced Computer Science, Leiden, The Netherlands

According to our database¹, Matthias König authored at least 4 papers between 2021 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing.

[BibT_eX]

[DOI]

Matthias König

Holger H. Hoos

Jan N. van Rijn

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Critically Assessing the State of the Art in CPU-based Local Robustness Verification.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), 2023

2022

Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio.

[BibT_eX]

[DOI]

Matthias König

Holger H. Hoos

Jan N. van Rijn

Mach. Learn., 2022

2021

Hyper-parameter Optimization for Latent Spaces.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Discovery in Databases. Research Track, 2021

Matthias König

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...