search space 1 post [Program Synthesis #6] Representation-Based Synthesis: 탐색 공간을 압축하는 방법 Mar 21, 2026