Follow
Matthias König
Matthias König
Leiden University, RWTH Aachen University, University of Oxford
Verified email at cs.ox.ac.uk
Title
Cited by
Cited by
Year
Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
M König, HH Hoos, JN Rijn
Machine Learning 111 (12), 4565-4584, 2022
92022
Towards Algorithm-Agnostic Uncertainty Estimation: Predicting Classification Error in an Automated Machine Learning Setting
M König, HH Hoos, JN van Rijn
7th ICML Workshop on Automated Machine Learning, 2020
52020
Critically Assessing the State of the Art in CPU-based Local Robustness Verification
M König, AW Bosman, HH Hoos, JN van Rijn
Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI …, 2022
32022
Hyper-parameter optimization for latent spaces
B Veloso, L Caroprese, M König, S Teixeira, G Manco, HH Hoos, J Gama
Machine Learning and Knowledge Discovery in Databases. Research Track …, 2021
32021
Speeding Up Neural Network Verification via Automated Algorithm Configuration
M König, HH Hoos, JN van Rijn
ICLR Workshop on Security and Safety in Machine Learning Systems, 2021
32021
Critically Assessing the State of the Art in Neural Network Verification
M König, AW Bosman, HH Hoos, JN van Rijn
Journal of Machine Learning Research 25 (12), 1-53, 2024
12024
Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing
M König, HH Hoos, JN van Rijn
Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI-24), 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–7