요약

소형 LLM에서 추론과 실행을 분리하여 정확도를 높이는 동적 재실행(Dynamic Re-Execution) 기술을 제안합니다. 검증된 프로그램을 12B 모델이 토큰 오버헤드 없이 재실행함으로써 비트 단위의 결정론적 결과를 산출합니다.

핵심 포인트

• 추론(Reasoning)과 실행(Execution) 프로세스의 분리
• 12B 모델을 활용한 단계별 프로그램의 동적 재실행
• 토큰 오버헤드 없는 비트 단위의 정확한 결과 산출
• 수학, 코드, 형식 규칙 등 도메인 지식 검증 최적화