Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
Sigloch, Paul; Benzmüller, Christoph (2026): Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint), in: arXiv, doi: 10.48550/arxiv.2605.26942.
Faculty/Chair:
Author:
 ; 
Publisher Information:
Year of publication:
2026
Pages:
Language:
English
DOI:
Type:
Preprint
URI:
Activation date:
May 29, 2026

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/115305