검증 가능한 프로그래밍 중간 표현
자연어 조건을 기계가 해석하고 검증할 수 있는 코드 형태의 중간 단계로 변환한 것입니다. 이를 통해 생성된 데이터의 논리적 오류를 자동으로 걸러내어 벤치마크의 신뢰성을 보장합니다.