computational-law

LAWLIA is an open-source computational legal framework designed to revolutionize legal reasoning and analysis. It combines the power of large language models with a structured syntactical grammar to facilitate precise legal assessments, truth values, and verdicts. LAWLIA is the future of computational jurisprudence

An implementation of Defeasible Deontic Logic in Answer Set Programming

LawVM compiles human-written amendment acts into auditable point-in-time legal text-state. It treats legislation as executable state transitions, preserving provenance, replay evidence, and divergence findings across jurisdictions.

Future Law at the MIT Media Lab

ProPublica’s claim about racial bias in COMPAS can be largely attributed to the bias of the Broward County dataset that they used for analysis, instead of COMPAS itself.

Formal symbolic reasoning system for computational halacha using Kripke semantics and Answer Set Programming

🏛️ Deterministic rejection layer for computational legal claims. Verifies dates, amounts, and structured constraints; blocks unproven legal outputs.

A programming language for law. Write laws, contracts, and policies you can run, test, and audit.

188 DIFC/ADGM/SICC judgments scored under a two-grader-type protocol (39 LLM + 149 regex; provenance per entry). 12 Catala rule modules, 7 case traces, analysis plan with H1-H8 stop rules. Reproducible via Docker.

Citation network analysis of 47 U.S.C. § 230 federal appellate doctrine, 1997-2025.

A local-first natural-language Q&A engine for EU directives using on-device LLMs, hybrid search (Qdrant), and citation graphs.

Subjectivity, measured. — Prévisibilité des décisions de la Cour suprême (OT2015-2023) : corpus gelé, baselines, personas de juges. 0 €.

📖 LegalNLP 资源精选（fork 自 maastrichtlawtech/awesome-legal-nlp）：数据集、模型、论文、工具整理 | Curated Legal NLP resources

Methods to quantify and assess similarities in sentenced cases using vector-based analytics

Encoding of the Telecommunication Customer Protections Code (2012) in Defeasible Deontic Logic

IRS inflation-adjusted amounts rebuilt from the Internal Revenue Code: Rev. Proc. 2025-32 reconstruction, findings, and a hashed 2027 forecast

Read Matcha legal-reasoning code as default logic: a syntax checker, a Reiter/prioritized extension solver with Lean certificates, and a Claude Code skill for neuro-symbolic argument review.

Computational Decision Analysis of Eighth Amendment Violation

German housing-benefit law (Wohngeld) as executable canons — Arxo demonstration for Law as Code in Practice (Volume 2)

Searching constitutions for paths where following the rules ends the constitution, starting with Godel's 1947 claim about the US.