4 papers
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…
Can Legislation Be Made Machine-Readable in PROLEG?
May-Myo Zin, Sabine Wehnert, Yuntao Kong +7
The anticipated positive social impact of regulatory processes requires both the accuracy and efficiency of their application. Modern artificial intelligence technologies, includin…
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…
Metadata-based Data Exploration with Retrieval-Augmented Generation for Large Language Models
Teruaki Hayashi, Hiroki Sakaji, Jiayi Dai +1
Developing the capacity to effectively search for requisite datasets is an urgent requirement to assist data users in identifying relevant datasets considering the very limited ava…