메타 단계 디코딩(Meta-Step Decoding)을 통한 검증기 유도 코드 번역

요약

DTV(Decoding Time Verification)는 코드 번역 시 생성 과정 중에 검증기를 교차 호출하여 유효한 접두사를 강제하는 새로운 프레임워크입니다. 기존의 사후 검증 방식과 달리 구조적 경계 검사와 롤백 메커니즘을 통해 오류 전파를 방지하고 토큰 효율성을 높입니다. 실험 결과, C-to-Rust 및 JavaScript-to-TypeScript 번역 작업에서 기존 방식보다 높은 통과율과 우수한 비용 대비 성능을 보여주었습니다.

핵심 포인트

• DTV는 생성과 검증기 호출을 교차하는 메타 단계 디코딩 방식을 사용하여 초기 오류가 문맥을 오염시키는 것을 방지합니다.
• 상태 머신 컨트롤러를 통해 유효한 접두사를 강제하고 구조 인식 롤백을 수행하여 토큰 낭비를 최소화합니다.
• Qwen3-4B 모델 기준, C-to-Rust 번역 통과율을 72.3%에서 82.0%로 크게 개선했습니다.
• 사후 검증(Post-hoc verification)이나 샘플링 기반 스케일링보다 더 효율적인 통과율-비용 트레이드오프를 제공합니다.