Matthias König
Orcid: 0009-0003-4900-9735Affiliations:
- Leiden University, Institute of Advanced Computer Science, Leiden, The Netherlands
According to our database1,
Matthias König
authored at least 8 papers
between 2021 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
On csauthors.net:
Bibliography
2025
Trans. Recomm. Syst., June, 2025
Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification.
Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025
2024
J. Mach. Learn. Res., 2024
Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks.
Proceedings of the Machine Learning and Knowledge Discovery in Databases. Research Track, 2024
Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing.
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.
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.
Mach. Learn., 2022
2021
Proceedings of the Machine Learning and Knowledge Discovery in Databases. Research Track, 2021