实体 Stanford bunnies

Stanford bunnies

PulseAugur coverage of Stanford bunnies — every cluster mentioning Stanford bunnies across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_168641 · Jul 28 · 13:07

AI 生成的证明验证 3D 网格交叉代码

一位开发者使用 Lean 4 编程语言创建了一个形式化验证的 3D 构造实体几何 (CSG) 网格交叉操作的实现。该实现通过依赖 AI 生成超过 60,000 行 Lean 证明来最大限度地减少人工审查，然后由 Lean 系统进行检查。虽然比最先进的方法慢得多，但重点是通过形式化验证来保证正确性，而不是性能。