본문으로 건너뛰기

constraint-driven-synthesis

제약 주도 합성

실제 시나리오의 제약 구조를 재사용 가능한 메타 제약으로 추출하고, 이를 조합해 self-contained 인스턴스를 합성하는 데이터 생성 방식.