В этой статье автор представляет Typed Domain Grounding — подход к снижению галлюцинаций LLM в предметно-ориентированных языках путем встраивания их в основные типизированные языки. Используя эталонные тесты kUML и пример инфраструктуры как кода, он исследует, как проверка компилятором и циклы генерации-компиляции-исправления могут повысить надежность выходных данных DSL, сгенерированных моделью. Автор: Ираклий Бетчвая.