\(\bullet\)_Verification-based methods._ The sequential nature of reasoning steps in CoTs can lead to the accumulation of errors in the generated CoTs when certain steps are incorrect. To mitigate this problem, recent studies propose to verify the correctness of generated reasoning steps with either trained verifiers or LLMs themselves. For example, DIVERSE [509] trains solution-level and step-level verifiers respectively to examine the reasoning steps at different granularities. Another approach [511] utilizes LLMs to verify the correctness of reasoning steps through step-by-step self-verification with a specially designed reasoning format. In addition, several studies propose backward reasoning for verification: it first deduces the necessary question conditions [512, 513] or variables [514] from the model's predictions, and then compares them with the original ones.
\(\bullet\)_Verification-based methods._ CoT의 추론 단계가 순차적이기 때문에 특정 단계가 잘못되었을 때 생성된 CoT에 오류가 누적될 수 있습니다. 이 문제를 완화하기 위해 최근 연구에서는 훈련된 검증기 또는 LLM 자체로 생성된 추론 단계의 정확성을 검증할 것을 제안합니다. 예를 들어, DIVERSE [509]는 솔루션 수준과 단계 수준의 검증기를 각각 훈련하여 다양한 세분성의 추론 단계를 검토합니다. 또 다른 접근 방식 [511]은 특수 설계된 추론 형식을 통해 단계별 자체 검증을 통해 LLM을 활용하여 추론 단계의 정확성을 검증합니다. 또한, 몇몇 연구에서는 필요한 질문 조건 [512, 513] 또는 변수 [514]를 모델의 예측에서 추론한 다음 원래의 예측과 비교하는 backward reasoning을 검증에 제안합니다.
\(\bullet\)_검증 기반 방법._ CoT의 추론 단계가 순차적이기 때문에 특정 단계가 잘못되었을 때 생성된 CoT에 오류가 누적될 수 있습니다. 이 문제를 완화하기 위해 최근 연구에서는 훈련된 검증기 또는 LLM 자체로 생성된 추론 단계의 정확성을 검증할 것을 제안합니다. 예를 들어, DIVERSE [509]는 솔루션 수준과 단계 수준의 검증기를 각각 훈련하여 다양한 세분성의 추론 단계를 검토합니다. 또 다른 접근 방식 [511]은 특수 설계된 추론 형식을 통해 단계별 자체 검증을 통해 LLM을 활용하여 추론 단계의 정확성을 검증합니다. 또한, 몇몇 연구에서는 필요한 질문 조건 [512, 513] 또는 변수 [514]를 모델의 예측에서 추론한 다음 원래의 예측과 비교하는 역추론을 검증에 제안합니다.