3 papers
cs.AI2026
GDPR Auto-Formalization with AI Agents and Human Verification
Ha Thanh Nguyen, Wachara Fungwacharakorn, Sabine Wehnert +6
We study the overall process of automatic formalization of GDPR provisions using large language models, within a human-in-the-loop verification framework. Rather than aiming for fu…
cs.CL2026
Can Legislation Be Made Machine-Readable in PROLEG?
May-Myo Zin, Sabine Wehnert, Yuntao Kong +7
The anticipated positive social impact of regulatory processes requires both the accuracy and efficiency of their application. Modern artificial intelligence technologies, includin…
cs.LO2025
Argumentative Reasoning with Language Models on Non-factorized Case Bases
Wachara Fungwacharakorn, May Myo Zin, Ha-Thanh Nguyen +2
In this paper, we investigate how language models can perform case-based reasoning (CBR) on non-factorized case bases. We introduce a novel framework, argumentative agentic models…