Research theme

Reasoning with Structured Knowledge

Using logical, probabilistic, and natural-language knowledge to recognize semantically inconsistent situations.

Not every anomalous situation looks unusual at the level of pixels or learned features. An input can contain familiar objects and still violate important relationships or domain constraints.

This line of work combines learned perception with structured reasoning. It progresses from detecting anomalies with explicit knowledge representations, through first-order logical constraints, to probabilistic Markov logic networks and natural-language reasoning with large language models. The common aim is to make semantic knowledge usable for detection while keeping the assumptions behind a decision accessible to people.

Related work

Publications

4 publications
Improving Out-of-Distribution Detection with Markov Logic Networks (06 Jun. 2025)
Our paper Improving Out-of-Distribution Detection with Markov Logic Networks has been accepted at ICML. In it, we propose a probabilistic extension of Out-of-Distribution Detection with Logical Reasoning, as well as a simple algorithm to mine logical constraints for OOD detection …
Categories: Neuro-Symbolic
Tagged with: ICML · Neuro-Symbolic · Anomaly Detection
Thumbnail for Improving Out-of-Distribution Detection with Markov Logic Networks
Language Models as Reasoners for Out-of-Distribution Detection (17 Sep. 2024)
Our paper, Language Models as Reasoners for Out-of-Distribution Detection, was presented at the Workshop on AI Safety Engineering (WAISE) 2024 and received the best paper award by popular vote. It constitutes an extension of our idea of Out-of-Distribution Detection with Logical …
Categories: Anomaly Detection Neuro-Symbolic
Tagged with: SafeComp · Anomaly Detection · LLM · Neuro-Symbolic
Thumbnail for Language Models as Reasoners for Out-of-Distribution Detection
Out-of-Distribution Detection with Logical Reasoning (04 Jan. 2024)
Our paper Out-of-Distribution Detection with Logical Reasoning has been accepted at WACV 2024. Abstract § Machine Learning models often only generalize reliably to samples from the training distribution. Consequentially, detecting when input data is out-of-distribution (OOD) is …
Categories: Anomaly Detection Neuro-Symbolic
Tagged with: WACV · Anomaly Detection · Neuro-Symbolic
Thumbnail for Out-of-Distribution Detection with Logical Reasoning
Towards Deep Anomaly Detection with Structured Knowledge Representations (15 Jun. 2023)
My paper Towards Deep Anomaly Detection with Structured Knowledge Representations has been accepted at the Workshop on AI Safety Engineering at SafeComp. Abstract § Machine learning models tend to only make reliable predictions for inputs that are similar to the training data. …
Categories: Anomaly Detection Neuro-Symbolic
Tagged with: SafeComp · Anomaly Detection · Neuro-Symbolic
Thumbnail for Towards Deep Anomaly Detection with Structured Knowledge Representations

← Complete publication list