synthesis 2 posts [Program Synthesis #8] Bidirectional Search: Top-down과 Bottom-up의 결합 Mar 21, 2026 [Program Synthesis #1] SyGuS 입문: 프로그램을 자동으로 만드는 방법 Mar 19, 2026