Figure 3 presents the results with different numbers of relevant rules included in ground truth proofs, where the problem does not contain distracting rules, and the shuffled accuracy is the aggregation of
그림 3은 문제에 산만한 규칙이 포함되지 않은 ground truth 증명에 포함된 관련 규칙의 수가 다른 결과를 제시하며, shuffled accuracy는 다음과 같은 결과를 제시한다.
그림 3은 문제에 산만한 규칙이 포함되지 않은 그라운드 트루프 증명에 포함된 관련 규칙의 수가 다른 결과를 제시하며, 셔플 정확도는 다음과 같은 결과를 제시한다.