sketch

2 posts

• [Program Synthesis #11] 실제 시스템으로 보는 Synthesis: FlashFill, Sketch, STOKE Mar 21, 2026
• [Program Synthesis #10] Constraint-Based Synthesis: 논리로 프로그램을 만드는 방법 Mar 21, 2026