EasyChair Smart SlideUser guide
Conference: KI2026 (German Conference on Artificial Intelligence)

This page shows all presentations from this conference published in EasyChair Smart Slide.

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

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

Paul Sigloch and Christoph Benzmüller

Presentations in this collection: 1
Copyright © 2002 – 2026 EasyChair