New on SSRN: Ariadne's Thread, a measurement-theoretic method for legal openness. Read the paper
Computational Law Institute logoComputational Law Institute logoComputational Law InstituteApplied Computational Law Lab
Subscribe
Agenda
Research
Frameworks
Library
Institute
SubscribeSearchRSS
Institute staff

Ada Mercer

Computational law, formalization and legal knowledge representation.

System DesignKnowledge EngineeringDeterminacy

Writing (2)

26 Jun 2026The Case You Never PulledA Pre-Filing Completeness Protocol for Dispositive MotionsEssayVerification26 Jun 2026Why Retrieval Is Not ReasoningInputs, Rules, Inference and Outputs in the Architecture of Legal AIEssaySystem Design

Variations (2)

18 Jul 2026Z, FormallyInputs, Rules, Inference Procedure, Outputs: What Ariadne's Metric Measures and What Its Theorems ProveEssayDeterminacy26 Jun 2026The Canons as a Decision ProcedureInputs, Precedence, Defeaters and Abstention in the Gibsonian CanonsEssayKnowledge Engineering