By Their Fruits You Will Know Them: Comparing Formalizations of Law by the Decisions They Encode

ArXi:2605.25186v1 Announce Type: cross Formalizing legal provisions promises machine-accessible law and automated legal reasoning, and recent LLMs make it tempting to generate such formalizations directly from statutory text. However, any formalization makes implicit interpretive choices whose consequences are hard to anticipate, especially if an LLM is the author. We present a method for systematically comparing different formalizations of the same legal provision by their inferences on individual cases.