Neuro-Symbolic

Improving Out-of-Distribution Detection with Markov Logic Networks

Konstantin Kirchheim, Frank Ortmeier

ICML 2025

Language Models as Reasoners for Out-of-Distribution Detection

Konstantin Kirchheim, Frank Ortmeier

SafeComp Workshops (WAISE) 2024Best paper award (popular vote)

Out-of-Distribution Detection with Logical Reasoning

Konstantin Kirchheim, Tim Gonschorek, Frank Ortmeier

WACV 2024

Towards Deep Anomaly Detection with Structured Knowledge Representations

Konstantin Kirchheim

SafeComp Workshops (WAISE) 2023