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

研究人员提出神经符号框架 Law&Order，可将税表及填报说明自动形式化为可执行符号程序。该方法将大语言模型生成与单元格级验证、迭代局部错误修复相结合。在 TaxCalcBench 评测中，最先进 LLM 仅取得 66% 准确率，而 Law&Order 在 51 份保留申报表上实现了 100% 的单元格与表单级准确率。