Tag
This paper introduces a neuro-symbolic pipeline for automating LEED v4.1 BD+C compliance verification using small locally deployed language models and deterministic numeric checking. Experiments on four university buildings show that a 4B model outperforms an 8B model, and the deterministic checker corrects arithmetic errors on key credits, though multimodal inputs reduce accuracy.