Law And Order: Tax Law Autoformalization.

arXiv:2610.02792v1 Announce Type: new Abstract: Legal systems are increasingly implemented through software, yet scalable methods for translating legal texts into accurate symbolic representations remain underdeveloped. We study this problem through tax law, w