ProgramSearch

작성, 실행, 평가: REPL을 사용한 프로그램 합성

https://papers.nips.cc/paper/9116-write-execute-assess-program-synesis-with-a-repl

우리는 가능한 프로그램의 검색 공간을 탐색하기 위해 코드를 작성, 실행 및 평가하는 구성 요소를 통합하는 신경 프로그램 합성 접근 방식을 제시합니다. 우리는 부분적으로 작성된 프로그램을 즉시 실행하여 의미를 노출시키는 인터프리터 또는 REPL(읽기-평가-인쇄-루프)을 검색 프로세스에 장착합니다. REPL은 프로그램 합성의 기본적인 문제를 해결합니다. 구문의 작은 변화는 의미론의 큰 변화로 이어질 수 있습니다. 우리는 한 쌍의 모델, 작성할 새로운 코드를 제안하는 정책, 그리고 지금까지 작성된 코드의 전망을 평가하는 가치 함수를 훈련합니다. 테스트 시 이러한 모델을 Sequential Monte Carlo 알고리즘과 결합할 수 있습니다. 우리는 텍스트 편집 프로그램을 합성하고 2D 및 3D 그래픽 프로그램을 추론하는 두 가지 영역에 접근 방식을 적용합니다.