논문해외
구조화된 교재 기반 수학적 증명 감독의 확장
원제 · Scaling Mathematical Proof Supervision from Structured Textbooks
HF Daily Papers
언어 모델용 수학 감독은 통상 단일 문제-해답 쌍으로 단순화되어 출처의 구조와 증거를 버린다. 이에 대규모 코퍼스 TOME-Math를 도입한다.
한국어 요약 · 원문 제목과 발췌를 AI 가 옮긴 것으로, 정확한 내용은 원문에서 확인해 주세요.
Mathematical supervision for language models is typically flattened into isolated problem-solution pairs, discarding the curricular organization and evidential structure of the original sources.
원문의 저작권은 HF Daily Papers에 있습니다. 위 발췌는 원문 확인을 돕기 위한 짧은 인용입니다.