GDPR Auto-Formalization with AI Agents and Human Verification

arXiv:2604.14607v2 Announce Type: replace Abstract: 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 full autonomy, we adopt a role-specialized workflow in which...