Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains

Sigloch, PaulPaulSiglochBenzmüller, ChristophChristophBenzmüller0000-0002-3392-30932026-10-052026-10-05202697830323233479783032323354https://fis.uni-bamberg.de/handle/uniba/117504engNeuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domainsconferenceobject10.1007/978-3-032-32335-4_30https://link.springer.com/content/pdf/10.1007/978-3-032-32335-4_30