Verifier generation

문제의 목표를 비교하는 점수 함수를 만들어 솔루션의 품질을 연속 스코어로 평가하는 검증기 생성 과정을 의미한다.