arXiv · Artificial Intelligence· Sophia Simeng Han, Yoshiki Takashima, Anjiang Wei, Zhaoyu Li, Michael Genesereth·2026-10-05 12:00· 16 小时前AI 评分45

Law&Order：税法自动形式化框架

Law And Order: Tax Law Autoformalization

AI 导读

研究者提出 Law&Order，一个把税法表格与申报说明自动转化为可执行符号程序的神经符号框架，建立法律与逻辑之间的结构对应和指称对应。方法结合大语言模型合成、单元级验证与基于人工编写 OpenTaxSolver 申报的迭代局部纠错。