본 논문은 대규모 언어 모델(LLM)을 활용하여 자연어 증명을 형식적 증명으로 변환하는 새로운 자동 형식화 방법인 StepProof를 제안합니다. 기존 방법들이 완전한 증명만을 검증하는 것과 달리, StepProof는 증명을 여러 개의 검증 가능한 하위 증명으로 분해하여 문장 단위의 검증을 가능하게 합니다. 실험 결과, StepProof는 기존 방법보다 증명 성공률과 효율성을 크게 향상시키며, 자연어 증명에 약간의 수동 조정을 추가하면 성능이 더욱 향상됨을 보였습니다.
