PYTHEN: A Flexible Framework for Legal Reasoning in Python

Ha-Thanh Nguyen; Ken Satoh

cs.CLMar 16, 2026

PYTHEN: A Flexible Framework for Legal Reasoning in Python

Authors: Ha-Thanh Nguyen, Ken Satoh

Organizations: Center for Juris-Informatics, ROIS-DS, Tokyo, Japan · Research and Development Center for Large Language Models, NII, Tokyo, Japan

Abstract

This paper introduces PYTHEN, a novel Python-based framework for defeasible legal reasoning. PYTHEN is designed to model the inherently defeasible nature of legal argumentation, providing a flexible and intuitive syntax for representing legal rules, conditions, and exceptions. Inspired by PROLEG (PROlog-based LEGal reasoning support system) and guided by the philosophy of The Zen of Python, PYTHEN leverages Python's built-in any() and all() functions to offer enhanced flexibility by natively supporting both conjunctive (ALL) and disjunctive (ANY) conditions within a single rule, as well as a more expressive exception-handling mechanism. This paper details the architecture of PYTHEN, provides a comparative analysis with PROLEG, and discusses its potential applications in autoformalization and the development of next-generation legal AI systems. By bridging the gap between symbolic reasoning and the accessibility of Python, PYTHEN aims to democratize formal legal reasoning for young researchers, legal tech developers, and professionals without extensive logic programming expertise. We position PYTHEN as a practical bridge between the powerful symbolic reasoning capabilities of logic programming and the rich, ubiquitous ecosystem of Python, making formal legal reasoning accessible to a broader range of developers and legal professionals.

Explore similar work

Legal2LogicICL: Improving Generalization in Transforming Legal Cases to Logical Formulas via Diverse Few-Shot Learning
Apr 13, 2026Jieying Xue, Phuong Minh Nguyen, Ha Thanh Nguyen +2Legal Reasoning Legal NLP
Center for Juris-Informatics, ROIS-DS, Tokyo, Japan · Japan Advanced Institute of Science and Technology, Ishikawa, Japan
LegalDrill: Diagnosis-Driven Synthesis for Legal Reasoning in Small Language Models
Apr 26, 2026Tianchun Li, Haochen Liu, Vishwa Pardeshi +5Synthetic Data Generation Small Language Models
Purdue University, West Lafayette, IN, USA · Fidelity Investments, Boston, MA, USA
NyayaMind- A Framework for Transparent Legal Reasoning and Judgment Prediction in the Indian Legal System
Apr 10, 2026Parjanya Aditya Shukla, Shubham Kumar Nigam, Debtanu Datta +5Legal Judgment Prediction Legal Reasoning
IIT Kanpur, India · University of Birmingham, Dubai, United Arab Emirates · IIT Kharagpur, India +2

Apr 13, 2026J/K move · Enter open · S save

Legal2LogicICL: Improving Generalization in Transforming Legal Cases to Logical Formulas via Diverse Few-Shot Learning

Jieying Xue, Phuong Minh Nguyen, Ha Thanh Nguyen, May Myo Zin+1

Center for Juris-Informatics, ROIS-DS, Tokyo, Japan · Japan Advanced Institute of Science and Technology, Ishikawa, Japan

Legal Reasoning Legal NLP In-Context Learning Semantic Parsing Retrieval-Augmented Generation

Open paper AskPDF arXiv

This work aims to improve the generalization of logic-based legal reasoning systems by integrating recent advances in NLP with legal-domain adaptive few-shot learning techniques using LLMs. Existing logic-based legal reasoning pipelines typically rely on fine-tuned models to map natural-language legal cases into logical formulas before forwarding them to a symbolic reasoner. However, such approaches are heavily constrained by the scarcity of high-quality annotated training data. To address this limitation, we propose a novel LLM-based legal reasoning framework that enables effective in-context learning through retrieval-augmented generation. Specifically, we introduce Legal2LogicICL, a few-shot retrieval framework that balances diversity and similarity of exemplars at both the latent semantic representation level and the legal text structure level. In addition, our method explicitly accounts for legal structure by mitigating entity-induced retrieval bias in legal texts, where lengthy and highly specific entity mentions often dominate semantic representations and obscure legally meaningful reasoning patterns. Our Legal2LogicICL constructs informative and robust few-shot demonstrations, leading to accurate and stable logical rule generation without requiring additional training. In addition, we construct a new dataset, named Legal2Proleg, which is annotated with alignments between legal cases and PROLEG logical formulas to support the evaluation of legal semantic parsing. Experimental results on both open-source and proprietary LLMs demonstrate that our approach significantly improves accuracy, stability, and generalization in transforming natural-language legal case descriptions into logical representations, highlighting its effectiveness for interpretable and reliable legal reasoning. Our code is available at https://github.com/yingjie7/Legal2LogicICL.

Abstract

Explore similar work

Legal2LogicICL: Improving Generalization in Transforming Legal Cases to Logical Formulas via Diverse Few-Shot Learning

LegalDrill: Diagnosis-Driven Synthesis for Legal Reasoning in Small Language Models

NyayaMind- A Framework for Transparent Legal Reasoning and Judgment Prediction in the Indian Legal System