Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint). - Paul Sigloch; Christoph Benzmüller (CoRR, 2026)