实体
Putnam2025
Putnam2025
PulseAugur coverage of Putnam2025 — every cluster mentioning Putnam2025 across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
AI框架通过新技术提升形式化定理证明能力
研究人员开发了新的框架，利用大型语言模型增强形式化定理证明能力。Goedel-Architect 采用蓝图生成和精炼策略，使用 DeepSeek-V4-Flash 模型在 MiniF2F-test 和 PutnamBench 等基准测试中取得了最先进的性能。Proof-Refactor 专注于提高 LLM 生成证明的模块化、可读性和可维护性，在 PutnamBench 数据集上表现优于现有基线。另一种方法 Compile to Com…
-
新的 Lean 4 定理证明器取得强劲的基准测试结果
研究人员开发了 MerLean-Prover，一个用于 Lean 4 的端到端定理证明器，可生成可由内核检查的证明。该系统利用一个包含三种代理类型（规划、检查和 Lean）的递归循环，并在 FormalQualBench 和 Putnam2025 等基准测试中展现出强劲的性能。值得注意的是，MerLean-Prover 在 FormalQualBench 上取得了 10/23 的成绩，优于现有的开源基线，并以更少的计算时间成功解决了 …