Galitsky, B. 2026. From Argumentation to Labeled Logic Program for LLM Verification. Proceedings of the AAAI Symposium Series. 8, 1 (May 2026), 411–419. DOI:https://doi.org/10.1609/aaaiss.v8i1.42572.