Typed Domain Grounding: IA escreve DSL com checagem via tipos

Modelos de linguagem (LLMs) podem gerar uma DSL específica do domínio com sintaxe inventada, mesmo quando “sabem” os fatos corretamente. O problema é tratado como uma falha de frequência de treinamento e de leniência típica de DSLs, em que o modelo interpolaria construções próximas e o parser poderia ignorar linhas desconhecidas.

A proposta Typed Domain Grounding (TDG) embute o domínio como uma DSL interna tipada na linguagem hospedeira e molda a API para que erros de domínio virem erros de tipo de compilação, em vez de falhas silenciosas. Em um benchmark com 50 tarefas usando Claude Sonnet 5, o método teve maior fidelidade estrutural e menor taxa de alucinação do que duas DSLs externas mais permissivas, embora com menor taxa de compilação na primeira tentativa.