1 citations · 2 across the 9 of their papers we have counts for
Showing 2026 · cs.AIShow all
2 papers · 2 filters
cs.AI2026
Structured Four-Stage Legal Translation: From Natural-Language Traffic Rules to PROLOG
May Myo Zin, Wachara Fungwacharakorn, Ken Satoh +1
Traffic regulations are written for human interpretation and therefore rely on shared background knowledge and flexible phrasing, which inherently introduce ambiguity, context depe…
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…