实体
Leo de Moura
Leo de Moura
PulseAugur coverage of Leo de Moura — every cluster mentioning Leo de Moura across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
2 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
数学界使用Lean软件验证了菲尔兹奖得主的计算
菲尔兹奖得主Peter Scholze对他在与Dustin Clausen合作的研究中，其技术计算尚未得到普林斯顿和哈佛等机构同行的彻底审查表示担忧。当Lean社区一丝不苟地验证了这份六页的文件，确认其准确性后，情况发生了变化。这一耗时六个月的验证过程包括逐行检查，确保了该工作的数学严谨性。
-
新 Lean 4 定理证明器 NanoProof 发布，包含开放数据和工具 · 跟踪 2 个来源
研究人员推出 NanoProof，一个用于 Lean 4 的开源自动化定理证明器，在 MiniF2F-Test 基准测试上实现了 50.8% 的 pass@16。该系统值得注意的是发布了其训练数据、提取工具、训练管道和权重，使其完全可复现。NanoProof 表明，因子化执行引导证明器可以用适度的资源重建，在计算效率上优于类似系统，同时比大型微调语言模型占用的资源少得多。