@article{gdprautoformalizationwithaiagentsandhuma,
  title = {GDPR Auto-Formalization with AI Agents and Human Verification},
  author = {Ha Thanh Nguyen and Wachara Fungwacharakorn and Sabine Wehnert and May Myo Zin and Yuntao Kong and Jieying Xue and Michał Araszkiewicz and Randy Goebel and Ken Satoh},
  year = {2026},
  eprint = {2604.14607},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2604.14607},
}