사전 훈련된 대규모 언어 모델을 활용한 선언적 형식 명세 수정에 대한 경험적 평가

사전 훈련된 대규모 언어 모델(LLM)을 활용하여 Alloy 선언적 명세의 결함을 효과적으로 수정할 수 있음을 보여준다.