Matthias König
PhD candidate
- Name
- Dr. H.M.T. König
- Telephone
- 071 5272727
- h.m.t.konig@liacs.leidenuniv.nl
- ORCID iD
- 0009-0003-4900-9735
PhD candidate
- Faculty of Science
- LIACS
- König H.M.T. (9 October 2025), Automated machine learning for neural network verification (Dissertatie. Leiden Institute of Advanced Computer Science (LIACS), Faculty of Science, Leiden University). Supervisor(s) and Co-supervisor(s): 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 February 2024 - 27 February 2024. Proceedings of the AAAI Conference on Artificial Intelligence no. 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. (Eds.), Proceedings of the workshop on artificial intelligence safety 2023 (SafeAI 2023). SafeAI 2023: Workshop on Artificial Intelligence Safety 13 February 2023 - 14 February 2023. CEUR Workshop Proceedings no. 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. (Eds.), 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 no. 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 May 2021 - 7 May 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 July 2020 - 18 July 2020.