[태그:] 자동평가

arXiv 논문이 실제 수학 증명을 자동으로 단계별 평가 과제로 변환하는 파이프라인 Mask-Proof와 292문제 벤치마크 Mask-ProofBench를 공개했다. 추론 강화 모델이 표준 ...