Unverified50% confidenceFactExact time

StochBench是一个专门针对随机过程领域的Lean 4基准测试集

1

Sources

50%

Confidence

Long-term

Relevance

9/11/2026

First Seen

Sources

StochBench：首个随机过程Lean形式化证明基准详解

Related Entities

StochBenchproduct Lean 4product

Related Claims

Unverified研究团队使用基于Opus 4.8的智能体对StochBench进行了系统测试74% similar UnverifiedStochBench的发布标志着形式化数学基准测试进入垂直细分的新阶段68% similar UnverifiedInferock Bench 会捕获每次调用的token用量、失败情况和重试情况三类数据63% similar Unverified测试流程允许在首轮生成后进行人工测试，并提供3至5次bug修复机会，同时记录总耗时58% similar Unverified通过固定随机种子（Seed）可以提升测试的确定性56% similar

Cite This Claim

Stable URI

https://kongchang.com/claim/893434

API

curl https://kongchang.com/api/v1/knowledge/claims/893434

MCP

get_claim(id=893434)