Comparisons
Compare approaches to the same question, with their assumptions and trade-offs made explicit.
- Law as Function, Law as Data: What Catala and Arxo Compute When They Read the Same Regulation
Two formalizations of one regulation, in Catala and in Arxo Law, agreed on 65 reference cases and 240 random ones. Catala returns a value; Arxo returns a proof. Four axes of difference beyond the point where they agree.