[논문리뷰] AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification본 논문은 기존의 수학 벤치마크가 고등 수학 및 연구 수준의 증명 능력을 평가하기에는 범위와 입도가 부족하다는 문제를 해결하고자 합니다.#Review#Advanced Mathematics#Proof Generation#Process Verification#LLM-as-Judge#Mathematical Reasoning#Benchmark#Automatic Verification Pipeline2026년 7월 13일댓글 수 로딩 중