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…