멀티모달 검증기를 활용한 인증된 프로그램 합성 [pdf]

Certified Program Synthesis with a Multi-Modal Verifier [pdf]