Benedikt Böing

According to our database, Benedikt Böing authored at least 7 papers between 2020 and 2023.

Collaborative distances:

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

2023

Verification of unsupervised neural networks.

Benedikt Böing

PhD thesis, 2023

Interpretable Anomaly Detection via Discrete Optimization.

Simon Lutz, Florian Wittbold, Simon Dierl, Benedikt Böing, Falk Howar, Barbara König, Emmanuel Müller, Daniel Neider

CoRR, 2023

2022

Post-Robustifying Deep Anomaly Detection Ensembles by Model Selection.

Benedikt Böing, Simon Klüttermann, Emmanuel Müller

Proceedings of the IEEE International Conference on Data Mining, 2022

On Training and Verifying Robust Autoencoders.

Benedikt Böing, Emmanuel Müller

Proceedings of the 9th IEEE International Conference on Data Science and Advanced Analytics, 2022

Neural Network Verification with DSE.

Benedikt Böing, Falk Howar, Jelle Hüntelmann, Emmanuel Müller, Richard Stewing

Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022

2021

QUGA - Quality Guarantees for Autoencoders.

Benedikt Böing, Rajarshi Roy, Daniel Neider, Emmanuel Müller

Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021

2020

Quality Guarantees for Autoencoders via Unsupervised Adversarial Attacks.

Benedikt Böing, Rajarshi Roy, Emmanuel Müller, Daniel Neider

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2020