PulseAugur
中
实时 18:13:27
English(EN) StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean

新的 StochBench 基准测试 LLM 在 Lean 中处理随机过程 · 跟踪 2 个来源

作者 PulseAugur 编辑部 · [3 个来源] ·

研究人员推出了 StochBench，这是一个旨在评估大型语言模型在 Lean 4 编程语言中处理随机过程能力的新基准。该基准包含 450 个研究生级别的难题，涵盖了马尔可夫链、布朗运动和随机微积分等领域，这些领域在现有的以数学为中心的基准中常常代表性不足。一个使用 Opus 4.8 的代理在 15 分钟内每个问题解决时限内，在 StochBench 上达到了 34.9% 的证明率，这表明该基准对高级证明器来说具有挑战性。 AI

影响 该基准有望推动 LLM 在专业数学推理和形式验证方面的能力改进。

排序理由 该集群描述了一个用于 LLM 进行形式定理证明的新学术基准。

在 Hugging Face Daily Papers 阅读 →

AI 生成摘要 · Google Gemini · 来自 3 个来源。 我们如何撰写摘要 →

新的 StochBench 基准测试 LLM 在 Lean 中处理随机过程 · 跟踪 2 个来源

本文如何被排名

Signal score
0 / 100
Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket
Research
该集群描述了一个用于 LLM 进行形式定理证明的新学术基准。
Source corroboration
3 independent sources
Multiple independent publishers reporting the same story raises confidence that it's real and newsworthy.
Topics
paper, product
Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance
High
Clearly on-topic for AI-industry coverage.
Story freshness
48 days old
Aged out of breaking-news scoring windows; ranking reflects the durable signal from the full source set.
Coverage growth since scoring
+1 source(s) since last score
New sources have picked up this story since our last re-score. Score will update on the next scoring pass.

完整方法见我们的编辑标准。

报道来源 [3]

  1. arXiv cs.CL TIER_1 English(EN) · Idan Davidovich, Debargha Ganguly, Vikash Singh, Vipin Chaudhary ·

    StochBench：精益中随机过程的领域特定基准测试

    arXiv:2609.09264v1 Announce Type: new Abstract: Leading benchmarks for formal theorem proving with large language models are small collections drawn from competition math, such as the IMO and Putnam, that poorly represent field-specific applications. We introduce StochBench, a Le…

  2. Hugging Face Daily Papers TIER_1 English(EN) ·

    StochBench：精益随机过程的领域特定基准测试

    StochBench introduces 450 graduate-level stochastic processes problems in Lean 4 to benchmark formal theorem proving on domain-specific applied mathematics.

  3. Mastodon — fosstodon.org TIER_1 English(EN) · [email protected] ·

    🤖 【Hugging Face Papers】StochBench：精益形式定理证明领域特定基准测试，用于大型语言模型

    🤖 【Hugging Face Papers】StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean Leading benchmarks for formal theorem proving with large language models are small collections drawn from competition ma... # AI # TechNews # MachineLearning 🔗 https:// huggingface.co/…

    链接 huggingface.co/…/2609.09264

相关实体

相关话题