KI2026: GERMAN CONFERENCE ON ARTIFICIAL INTELLIGENCE
SLIDES

Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains

Paul Sigloch and Christoph Benzmüller