MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

최근 대형 언어 모델은 수학적 추론과 정리 증명을 위한 엄격하고 형식적인 다단계 추론을 포함한 다양한 작업에서 중요한 진전을 보여주고 있습니다.