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

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

Sigloch, Paul; Benzmüller, Christoph (2026): Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains, in: Diedrich Wolter und Gesina Schwalbe (Hrsg.), KI 2026: Advances in Artificial Intelligence : 49th German Conference on AI, KI 2026, Bremen, Germany, August 11–14, 2026, Proceedings, Cham: Springer Nature Switzerland, S. 324–331, doi: 10.1007/978-3-032-32335-4_30.

Faculty/Chair:

AI Systems Engineering

Author:

;

Benzmüller, Christoph

Title of the compilation:

KI 2026: Advances in Artificial Intelligence : 49th German Conference on AI, KI 2026, Bremen, Germany, August 11–14, 2026, Proceedings

Editors:

Wolter, Diedrich

Schwalbe, Gesina

Conference:

49th German Conference on AI, KI 2026, August 11–14, 2026 ; Bremen, Germany

Publisher Information:

Cham : Springer Nature Switzerland

Year of publication:

2026

Pages:

324-331

ISBN:

9783032323347

9783032323354

Language:

English

DOI:

10.1007/978-3-032-32335-4_30

URL:

https://link.springer.com/content/pdf/10.1007/978-3-032-32335-4_30

Peer Reviewed:

Yes:

International Distribution:

Yes:

Type:

Conferenceobject

URI:

https://fis.uni-bamberg.de/handle/uniba/117504

Activation date:

October 5, 2026

Permalink https://fis.uni-bamberg.de/handle/uniba/117504