GALITSKY, Boris. From Argumentation to Labeled Logic Program for LLM Verification. Proceedings of the AAAI Symposium Series, [S. l.], v. 8, n. 1, p. 411–419, 2026. DOI: 10.1609/aaaiss.v8i1.42572. Disponível em: https://ojs.aaai.org/index.php/AAAI-SS/article/view/42572. Acesso em: 23 may. 2026.