👋 안녕하세요, 김��현입니다

Program Synthesis 시리즈 14편 – Superoptimization, Program Repair, LLM 기반 코드 생성까지 실제 환경에서의 synthesis 응용 이해하기

Program Synthesis 시리즈 13편 – specification으로부터 transformation rule을 통해 프로그램을 직접 유도하는 Deductive Synthesis 이해하기

Program Synthesis 시리즈 12편 – 타입 정보를 활용해 프로그램 탐색 공간을 구조적으로 제한하는 Type-Guided Synthesis 이해하기

Program Synthesis 시리즈 11편 – FlashFill, Sketch, STOKE를 통해 실제 시스템이 다양한 synthesis 기법을 어떻게 결합하는지 이해하기

Program Synthesis 시리즈 10편 – SAT/SMT 기반으로 프로그램을 제약 문제로 변환하여 해결하는 Constraint-Based Synthesis 이해하기

Program Synthesis 시리즈 9편 – 확률 기반 탐색과 local search를 통해 넓은 프로그램 공간을 효율적으로 탐색하는 방법 이해하기

Program Synthesis 시리즈 8편 – Top-down과 Bottom-up 탐색을 결합하여 search space를 효과적으로 줄이는 Bidirectional Search 이해하기

Program Synthesis 시리즈 7편 – Version Space Algebra를 넘어, Finite Tree Automata와 E-graph를 통해 다양한 프로그램 표현 방식 비교하기

Program Synthesis 시리즈 6편 – 프로그램을 하나씩 탐색하는 대신, 탐색 공간 자체를 압축하는 Representation-Based Synthesis의 핵심 아이디어 이해하기

Program Synthesis 시리즈 5편 – Enumerative Synthesis의 한계를 극복하기 위한 Search Prioritization과 확률 기반 탐색 전략 이해하기