本文研究领域特定计算问题，指出现有语言模型在处理复杂规则时的局限性。作者提出知识密集型程序生成器（KIPG），通过提取关键变量和利用领域知识有效解决问题，验证其在法律领域的有效性，并展示其在其他领域的适应潜力。