AI圈报
论文研究普通

StochBench:面向 Lean 随机过程的领域专用基准

信息来源:HuggingFace Daily Papers(社区热门论文)·
原始标题:StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean

内容摘要

研究者推出 StochBench,一个包含 450 道研究生级随机过程问题的 Lean 4 基准,每题配有自然语言题面。基于 Opus 4.8 的智能体在每题 15 分钟限制下达到 34.9% 的证明率(157/450)。该基准覆盖马尔可夫链、鞅、布朗运动、随机微积分等方向,填补了 Mathlib 中随机过程领域代表性不足的空白。
内容分类AI 论文与研究
内容层级普通情报
发布时间(北京时间)
本站收录时间(北京时间)
信息来源HuggingFace Daily Papers(社区热门论文)
站内情报编号intel-1e93d164b7a5dc8345c015c5