heuristic 2 posts [Program Synthesis #9] Stochastic Search: 확률로 프로그램을 찾는 방법 Mar 21, 2026 [Program Synthesis #5] Search Prioritization: 어떤 프로그램부터 볼 것인가? Mar 21, 2026