Law&Order：税法自动形式化的神经符号框架

研究提出神经符号框架 Law&Order，可将税表与填报指南自动形式化为可执行的符号程序。该方法结合大语言模型合成、单元格级验证以及基于 OpenTaxSolver 的局部迭代错误修复机制。在 51 份独立的测试集 TaxCalcBench 申报表上，最先进 LLM 准确率仅为 66%，而 Law&Order 实现了 100% 的单元格级和表单级准确率。