Matthias König

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Critically Assessing the State of the Art in Neural Network Verification.

Matthias König, Annelot W. Bosman, Holger H. Hoos, Jan N. van Rijn

J. Mach. Learn. Res., 2024

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks.

Matthias König, Xiyue Zhang, Holger H. Hoos, Marta Kwiatkowska, Jan N. van Rijn

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

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

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.

Matthias König, Annelot W. Bosman, Holger H. Hoos, Jan N. van Rijn

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.

Matthias König, Holger H. Hoos, Jan N. van Rijn

Mach. Learn., 2022

2021

Hyper-parameter Optimization for Latent Spaces.

Bruno Veloso, Luciano Caroprese, Matthias König, Sónia Teixeira, Giuseppe Manco, Holger H. Hoos, João Gama

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