직접 실험을 통해 실패 사례를 학습하여 직관적 명제 논리 증명 성능 향상

실패 경로에 대한 정보를 활용하면 대규모 언어 모델의 직관적 명제 논리 증명 성능을 향상시킬 수 있다.