Out-of-Distribution Detection
with Logical Reasoning

Setup

conda install pytorch==1.12.0 torchvision==0.13.0 torchaudio==0.12.0 cudatoolkit=11.3 -c pytorch
pip install -U pytorch-ood
conda install pandas seaborn tqdm scikit-learn

Prolog Inference Engine

To run the actual Prolog engine, you will have to install swi-prolog.

Ubuntu

sudo apt install swi-prolog
pip install -U pyswip==0.2.9

Experiments

Results for experiments can be found in the corresponding subdirectories.

Citation

If you find this work usefull, please consider citing

@InProceedings{Kirchheim_2024_WACV,
    author    = {Kirchheim, Konstantin and Gonschorek, Tim and Ortmeier, Frank},
    title     = {Out-of-Distribution Detection With Logical Reasoning},
    booktitle = {Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision (WACV)},
    month     = {January},
    year      = {2024},
    pages     = {2122-2131}
}