StochBench：精益随机过程的特定领域基准
HuggingFace Daily Papers · · 发布于 2026-09-11 · 1 分钟阅读
arXiv:2609.09264v1 公告类型：新 摘要：使用大型语言模型证明形式定理的主要基准是从竞赛数学中提取的小型集合，例如 IMO 和 Putnam，它们很难代表特定领域的应用。我们推出 StochBench，一个 Le
要点 1
arXiv:2609.09264v1 公告类型：新 摘要：使用大型语言模型证明形式定理的主要基准是从竞赛数学中提取的小型集合，例如 IMO 和 Putnam，它们很难代表特定领域的应用。
要点 2
我们推出 StochBench，一个 Le
SOURCES
共 1 个来源