@misc{indiciaec8077409d455,
  title = {Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)},
  author = {Paul Sigloch and Christoph Benzmüller},
  year = {2026},
  url = {https://arxiv.org/abs/2605.26942},
  note = {Source identifier: 2605.26942}
}