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

Paul Sigloch, Christoph Benzmüller

LLMs deployed in high-stakes domains face fundamental reliability challenges: hallucinations, inconsistencies, and privacy vulnerabilities introduce unacceptable risks where errors…