标签
本文介绍了一种神经符号流水线，用于自动化LEED v4.1 BD+C合规性验证，使用小型本地部署的语言模型和确定性数值检查。在四栋大学建筑上的实验表明，4B模型优于8B模型，确定性检查器纠正了关键得分点上的算术错误，尽管多模态输入会降低准确性。