[논문리뷰] StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean본 논문은 기존의 수학 벤치마크들이 경쟁 수학(Competition Math) 문제에만 편중되어 있어, 실제 응용 수학 분야인 확률 과정 문제를 충분히 다루지 못한다는 한계를 해결하고자 합니다.#Review#Stochastic Processes#Lean 4#Automated Theorem Proving#Benchmark#Formalization#Markov Chains#Stochastic Calculus2026년 9월 9일댓글 수 로딩 중