Trustworthy AI for Legal Reasoning

AI-based systems are having a growing role in legal reasoning and its automation, so ensuring their trustworthiness is essential. A key step in this process is aligning advanced computer science techniques with the appropriate types of legal problems. Code-based legal reasoning, which relies on explicit statutes and regulations, differs fundamentally from case-based reasoning, which depends on precedents and interpretations. In this session, we will explore how formal methods and Large Language Models (LLMs) can help in this automation and support the development of trustworthy AI systems for diverse forms of legal reasoning.