StochBench：面向 Lean 随机过程的形式化定理证明领域基准
StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
研究者推出 StochBench，一个包含 450 道研究生级随机过程问题的 Lean 4 基准，每题配有自然语言题面，覆盖 Markov 链、鞅、布朗运动、随机微积分等 Mathlib 中较少涉及的领域。
来源：Hugging Face Daily Papers · arxiv.org