2 papers
cs.AI2026
From Large Language Model Predicates to Logic Tensor Networks: Neurosymbolic Offer Validation in Regulated Procurement
Cedric Haufe, Frieder Stolzenburg
We present a neurosymbolic approach, i.e. combine symbolic and subsymbolic artificial intelligence, to validating offer documents in regulated public institutions. We employ a lang…
cs.AI2024
From Data to Commonsense Reasoning: The Use of Large Language Models for Explainable AI
Stefanie Krause, Frieder Stolzenburg
Commonsense reasoning is a difficult task for a computer, but a critical skill for an artificial intelligence (AI). It can enhance the explainability of AI models by enabling them…