Mask-Proof, LLM 수학 증명 단계별 추론 평가 벤치마크 공개
arXiv 논문이 실제 수학 증명을 자동으로 단계별 평가 과제로 변환하는 파이프라인 Mask-Proof와 292문제 벤치마크 Mask-ProofBench를 공개했다. 추론 강화 모델이 표준 ...
[태그:] LLM수학추론
수학자 49명이 만든 AI 수학 벤치마크, 최신 LLM이 98문항 풀어냈다
독일 라이프치히 막스플랑크 수학연구소 워크숍에서 수학자 49명이 만든 연구 수준 수학 문제 100개를 최신 LLM들이 평가한 결과, 3단계 평가 끝에 ...
