在本文中，作者介绍了类型化领域接地（Typed Domain Grounding）方法，该方法通过将领域特定语言嵌入主流类型化语言中，以减少大型语言模型在领域特定语言中的幻觉现象。作者利用 kUML 基准测试和基础设施即代码示例，探讨了编译器验证以及生成 - 编译 - 修复循环如何使模型生成的 DSL 输出更加可靠。作者：Irakli Betchvaia