대규모 언어 모델 (LLMs)은 다양한 소프트웨어 공학 (SE) 작업 전반에서 소프트웨어 산출물을 생성하는 데 점점 더 많이 사용되고 있지만, 이러한 산출물의 의미론적 타당성 (semantic validity)을 보장하는 것은 여전히 근본적인 과제로 남아 있습니다. 기존의 제약 조건부 디코딩 (constrained decoding) 기술은 구문론적 정확성 (syntactic correctness)을 강제하고, 어떤 경우에는 특정 의미론적 규칙을 강제할 수 있지만, LLM이 생성한 텍스트와 SE에서의 의미론적 검증에 필요한 추론 사이를 연결하는 일반적인 표현 방식이 부족합니다. 본 논문에서 우리는 투영적 디코딩 (projectional decoding)을 제안합니다. 이는 생성 과정 전반에 걸쳐 텍스트와 함께 부분 그래프 모델 (partial graph model)을 주요 산출물 표현 방식으로 유지함으로써 도메인 의미론 (domain semantics)을 생성 과정에 직접 통합하는 새로운 개념적 프레임워크입니다. 이러한 추상적 표현은 불확실성을 명시적으로 포착하고 오류 탐지를 네이티브하게 지원함으로써 점진적인 의미론적 검증을 가능하게 하며, 증명 가능한 보장과 함께 생성을 의미론적으로 유효한 출력으로 유도합니다. 우리는 프로그램 생성 작업에 대한 예비 결과를 제시하며, 이는 LLM이 생성한 산출물의 의미론적 타당성을 개선할 수 있는 이 접근 방식의 잠재력을 입증합니다. 또한 우리는 투영적 디코딩이 다양한 SE 활동 전반에서 LLM을 통한 검증 가능한 자동화 (verifiable automation)를 어떻게 가능하게 할 수 있는지 논의합니다.