Artificial Intelligence

5페이지

DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

논문의 강점 및 독창적인 지점 대규모 합성 데이터 생성 • 8백만 개의 Lean 4 공식 수식 및 증명을 생성하여 대규모 데이터 부족 문제를 해결했습니다. • 고등학생 및 대학생 수준의 수학 대회 문제를 활용하여 자연어 문제를 공식화하고, 불필요하거나 오류가 있는 수식을 제거하는 자동화된 품질 관리 시스…

39분
Artificial Intelligence