프롬프트가 아닌 설계도: AI가 작성한 코드를 안내하기 위한 TLA+ 활용

Blueprints, Not Prompts: Using TLA+ to Guide AI-Written Code