#LLM合成

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

研究提出Law&Order，一个神经符号框架，可自动将税表和填报说明形式化为可执行符号程序。该方法建立法律与逻辑之间的结构对应和指称对应，结合LLM合成、单元格级验证和迭代局部错误修复。在51份独立编写的留出TaxCalcBench申报表上，Law&Order达到100%单元格级和表格级准确率，而…