StochBench 发布：450 道 Lean 4 随机过程研究生级证明题
Idan Davidovich · hf · 2026-09-10
- 新基准 StochBench 发布，收录 450 道研究生水平的随机过程（stochastic processes）题目，全部形式化为 Lean 4。
- 定位是领域专用的应用数学形式化定理证明评测，弥补现有基准偏重纯数学/竞赛题的不足，用于检验定理证明模型在概率与随机分析等应用数学方向的真实能力。
「研究」频道最新
- 加磁性杂质扰动物理系统，简单 ML 即可推断量子磁体哈密顿量 — bravo_abad · 2026-09-10
- J-lens 解读：窥见并改写 LLM 未说出口的中间概念 — CatAstro_Piyush · 2026-09-10
- Group Bench:约 100 道群论题测你的 AI agent — Sauers_ · 2026-09-10
- Group Bench 发布:约 100 道群论题考验 AI 智能体 — Sauers_ · 2026-09-10
- ELLIS 博士项目开放 2026 申请，10 月底截止 — ArthurGretton · 2026-09-10
- 微软用纯 RL 训出 4B 编码 agent FrogNano,无需大模型当老师 — ossm-me · 2026-09-10