Improving legal reasoning reliability of large language models through citation resolution enhancements
Unknown authors
Sep 2026· Inquiry@Queen's Undergraduate Research Conference Proceedings· 0 citations
TL;DR
This project seeks to create the infrastructure needed to make legal citation in OpenJustice rigorous and transparent through various enhancements to the extraction and connection of case metadata, and fully integrating the resulting citation graph into the reranker, maximizing LLM reasoning capabilities.
Abstract
As AI enters the high-stakes domain of law, firmly grounding large language models in accurate legal information is essential. OpenJustice, a legal knowledge and research platform, gives users case-specific reasoning flows that are built on trustworthy precedent case citations. However, those citations are only truly as trustworthy as the systems that retrieve and resolve them. A citation that is outdated, lacks authority, or silently conflicts with another ruling not only weakens answers, but also risks misleading the recipients. This project seeks to create the infrastructure needed to make legal citation in OpenJustice rigorous and transparent through various enhancements to the extraction and connection of case metadata. This will be leveraged by the reranker, a module that filters and structures retrieved case information before passing the most relevant information to the model's reasoning stage.
The approach used LLMs themselves to process legal documents, identifying citation relationships that other methods such as regex cannot, including the treatment of each precedent case (followed, distinguished, not followed, etc.) and updates to their appeal histories (reversed, affirmed, quashed, etc.) as typed edges between case nodes. Together these relationships form a citation graph, a traversable web displaying how cases interact, that the reranker can draw on to weigh authority and surface conflicts automatically.
Testing at a scale of 5000 recently filed cases produced over 70000 citation edges spanning 26 distinct relationship types, with citation linking accuracy of 97.2% against independent legal data. Token costs were also validated at this scale, using a smaller, three times more cost-efficient language model with a drop in accuracy of only ~1%. Future goals include further improving linking accuracy through a continued focus on citations that predate the standardized citation format set out in 1999, and fully integrating the resulting citation graph into the reranker, maximizing LLM reasoning capabilities.
Faculty Supervisor: Xiaodan Zhu
Supporting Instructors: Chu Fei Luo, Kevin Yu
The results are packaged in the Greenfield Startup Model (GSM), which explains the priority of startups to release the product as quickly as possible, and the need to shorten time-to-market, by speeding up the development through low-precision engineering activities.
Carmine Giardino, Nicolò Paternoster, M. Unterkalmsteiner et al.· IEEE Transactions on Softwar...· 178 citations· ⚡14
Software startup companies develop innovative, software-intensive products within limited timeframes and with few resources, searching for sustainable and scalable business models.
M. Unterkalmsteiner, P. Abrahamsson, Xiaofeng Wang et al.· e-Informatica Software Engin...· 157 citations· ⚡17
This study conducts a case survey study based on the secondary data of the major pivots happened in 49 software startups, and demonstrates that customer need pivot is the most common among all pivot types.
Sohaib Shahid Bajwa, Xiaofeng Wang, Anh Nguyen-Duc et al.· Empirical Software Engineeri...· 127 citations· ⚡15
The comparison of adopter and non-adopter sample reveals three potential adoption inhibitor, security, data privacy, and portability, which underlines the importance of the technical and security perspectives for research investigating the adoption of technology.
Nattakarn Phaphoom, Xiaofeng Wang, S. Samuel et al.· Journal of Systems and Softw...· 111 citations· ⚡8
This study investigates how Lean internal startup facilitates software product innovation in large companies and identifies its enablers and inhibitors, and shows the potential of the method-in-action framework to investigate the Lean startup approach in non-startup context.
Henry Edison, Nina M. Smørsgård, Xiaofeng Wang et al.· Journal of Systems and Softw...· 78 citations· ⚡6
The application of agile software methods and more recently the integration of Lean practices contribute to the trend of continuous improvement in the software industry. One such area warranting proper empirical evidence is a project’s operational efficiency when using the Kanban method. This short paper takes a new angle and explores waste in the Kanban-driven software development project context. A preliminary research model is presented for helping the consequent replication of the study. The results from the empirical analysis suggest Kanban can be an effective method in visualizing and organizing the current work, but does not prevent waste from creeping in, although the overall project outcome may be successful.
Marko Ikonen, Petri Kettunen, Nilay V. Oza et al.· EUROMICRO Conference on Soft...· 67 citations· ⚡9
Related blog posts
MIT News · Artificial Intelligence· news.mit.eduSep 14, 2026
The “HardFlow” algorithm could help generative AI models produce high-quality outputs that obey strict requirements when “pretty close” doesn’t cut it.
AI may appear weightless, but every model depends on physical infrastructure. To understand responsible AI, we need to look beyond algorithms and consider the entire lifecycle of the hardware behind them. The post Responsible AI Must Consider Its Afterlife appeared first on GPT-Lab.