bridge-framework

BRIDGE는 코드·명세·정리문(statement)을 상호 연결된 도메인으로 분해해 중간 추론 표현을 유도하는 구조화된 프롬프트 설계 방식이다. 생성된 구현을 의미적 기준점으로 삼아 이후 단계에서 정확한 형식적 명세와 정리문을 순차적으로 생성하며, 이 중간 표현이 추론과 지도학습 모두에서 재현 가능한 신호로 작동함이 실험으로 확인되었다. 이러한 분해는 단일 출력물만 생성하는 기존 접근과 달리 검증 가능한 합성(verified synthesis)의 일관성을 확보하는 데 목적이 있다.