Matthias König
- Naam
- Dr. H.M.T. König
- ORCID iD
- 0009-0003-4900-9735
- König H.M.T. (9 oktober 2025), Automated machine learning for neural network verification (Dissertatie. Leiden Institute of Advanced Computer Science (LIACS), Faculty of Science, Leiden University). Promotor(en) en copromotor(en): Hoos H.H., Rijn J.N. van.
- König H.M.T., Bosman A.W., Hoos H.H. & Rijn J.N. van (2024), Critically assessing the state of the art in neural network verification, Journal of Machine Learning Research 25(12): 1-35.
- König H.M.T., Hoos H.H. & Rijn J.N. van (2024), Accelerating adversarially robust model selection for deep neural networks via racing, Proceedings of the AAAI Conference on Artificial Intelligence. 38th AAAI Conference on Artificial Intelligence (AAAI-24) 19 februari 2024 - 27 februari 2024. Proceedings of the AAAI Conference on Artificial Intelligence nr. 38. Washington, DC, USA: AAAI Press. 21267-21275.
- König H.M.T., Bosman A.W., Hoos H.H. & Rijn J.N. van (2024), Critically assessing the state of the art in neural network verification, Journal of Machine Learning Research 25(12): 1-53.
- König H.M.T., Bosman A.W., Hoos H.H. & Rijn J.N. van (2023), Critically assessing the state of the art in CPU-based local robustness verification. Pedroza G., Huang X., Chen X., Theodorou A., Hernandez-Orallo J., Castillo-Effen M., Mallah R. & McDermid J. (red.), Proceedings of the workshop on artificial intelligence safety 2023 (SafeAI 2023). SafeAI 2023: Workshop on Artificial Intelligence Safety 13 februari 2023 - 14 februari 2023. CEUR Workshop Proceedings nr. 3381: CEUR-WS.
- König H.M.T., Hoos H.H. & Rijn J.N. van (2022), Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio, Machine Learning 111: 4565-4584.
- Veloso B., Carprese L., König H.M.T., Teixeira S., Manco G., Hoos H.H. & Gama J. (2021), Hyper-parameter optimization for latent spaces. Oliver N., Pérez-Cruz F., Kramer S., Read J. & Lozano J.A. (red.), Machine Learning and Knowledge Discovery in Databases. Research Track. ECML PKDD 2021. Joint European Conference on Machine Learning and Knowledge Discovery in Databasis. ECML PKDD 2021 13 september 2021 - 17 september 2021 nr. 12977. Cham: Springer International Publishing. 249-264.
- König H.M.T., Hoos H.H. & Rijn J.N. van (2021), Speeding up neural network verification via automated algorithm configuration, ICLR Workshop on Security and Safety in Machine Learning Systems. Workshop Security and Safety in Machine Learning Systems 7 mei 2021 - 7 mei 2021.
- König H.M.T., Hoos H.H. & Rijn J.N. van (2020), Towards algorithm-agnostic uncertainty estimation: predicting classification error in an automated machine learning setting, ICML Workshop on automated machine learning. 7th ICML Workshop on Automated Machine Learning (AutoML 2020) 18 juli 2020 - 18 juli 2020.