待验证50% 置信事实精确时间

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

1

来源数

50%

置信度

长期有效

时效性

2026/9/11

首次发现

来源

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

涉及实体

StochBenchproduct Lean 4product

相关事实

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

引用此条事实

Stable URI

https://kongchang.com/claim/893434

API

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

MCP

get_claim(id=893434)