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

arXiv:2605.25186v2 Announce Type: replace-cross Abstract: 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 fo