Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)

Sigloch, PaulPaulSiglochBenzmüller, ChristophChristophBenzmüller0000-0002-3392-30932026-05-292026-05-292026https://fis.uni-bamberg.de/handle/uniba/115305engNeuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)preprint10.48550/arxiv.2605.269422605.26942