In Appendix Figure 8, we aim to provide some insight into the kinds of tokens where the improvements occur. Namely, while thinking appears to help for many tokens in the example, inspection suggests it disproportionately help to predict tokens where recalling relevant information is useful, such as the name of an applicable theorem or the start of the next step in a proof. Notably, this would align well with the framing proposed by Prystawski et al. (2024).
부록 그림 8에서 우리는 개선이 발생하는 토큰의 종류에 대한 통찰을 제공하고자 합니다. 즉, 예제에서 생각하는 것이 많은 토큰에 도움이 되는 것처럼 보이지만, 검토 결과 관련 정보를 회상하는 것이 유용한 토큰, 예를 들어 적용 가능한 정리의 이름이나 증명의 다음 단계의 시작 부분을 예측하는 데 불균형적으로 도움이 된다는 것을 시사합니다. 특히, 이는 Prystawski et al. (2024)이 제안한 프레이밍과 잘 맞아떨어집니다.
부록 그림 8에서는 개선이 발생하는 토큰의 종류에 대한 인사이트를 제공하고자 합니다. 즉, 예제에서 사고가 많은 토큰에 도움이 되는 것으로 보이지만, 검사 결과 적용 가능한 정리의 이름이나 증명의 다음 단계 시작과 같이 관련 정보를 기억하는 것이 유용한 토큰을 예측하는 데 불균형적으로 도움이 되는 것으로 나타났습니다. 특히, 이는 Prystawski 등(2024)이 제안한 프레임과 잘 부합할 것입니다.