Verificação Automatizada de Modelos BIM de Pontes Rodoviárias Baseada em Modelos de Linguagem Grande | Synapse