이 글에서 저자는 메인스트림 타입 언어에 임베딩함으로써 도메인 특화 언어에서 LLM 환각을 줄이는 접근 방식인 Typed Domain Grounding을 소개합니다. kUML 벤치마크와 인프라스트럭처-애즈-코드 예제를 사용하여 컴파일러 검증 및 생성-컴파일-수정 루프가 모델 생성 DSL 출력을 더 신뢰할 수 있게 만드는 방법을 탐구합니다. Irakli Betchvaia 작성