实体 CompCert

CompCert

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

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

0

90 天内 0

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

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

TOOL · CL_353350 · Nov 11 · 16:09

Google DeepMind 用新AI工具在四周内验证Signal协议

Google DeepMind 使用一种名为 AlphaProof Code 的新颖工具完成了 Signal 协议的形式化验证。这个过程过去需要多年的人力才能完成，现在由一个五人团队在四周内实现。该团队专注于编写和审查数学规范，而 Gemini agent 生成了大部分 Lean 证明，只有 1% 需要人工审查。