본 논문은 프로그램 합성에서 유도적 및 전이적 패러다임을 통합하는 새로운 프레임워크인 TIIPS를 제안합니다. 기존 접근 방식은 유도적 및 전이적 모델을 개별적으로 결합하는 반면, TIIPS는 유도적 모델이 프로그램을 생성하고 전이적 모델이 합성 정확도와 일반화를 향상시키도록 검색을 제약하고, 안내하고, 개선하는 협력적 메커니즘을 통해 두 패러다임 간의 상호 작용을 명시적으로 모델링합니다. 문자열 및 목록 조작이라는 두 가지 프로그램 합성 영역에서 평가한 결과, TIIPS는 더 많은 작업을 해결하고, 특히 분포 외 설정에서 최적 솔루션과 구문 및 의미론적으로 더 일치하는 함수를 생성하여 최첨단 성능을 달성했습니다.