Showing cs.AIShow all
2 papers · 1 filter
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.AI2024
Proceedings of the First International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning (NeLaMKRR 2024)
Ken Satoh, Ha-Thanh Nguyen, Francesca Toni +2
Reasoning is an essential component of human intelligence as it plays a fundamental role in our ability to think critically, support responsible decisions, and solve challenging pr…