实体
Expat
Expat
PulseAugur coverage of Expat — every cluster mentioning Expat across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
时间线
- 2026-08-05 funding The Expat library has received funding from the City of Munich for six months. 来源
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
Claude AI 生成 1.8 亿行代码证明，发现数百个错误
Anthropic 的 Claude 模型与 Theorem 合作，在形式验证方面取得了重大里程碑，为 123 个开源库的 239 个入口点生成了约 1.8 亿行机器检查证明。这项广泛的验证工作远远超出了手动能力，发现了传统模糊测试方法遗漏的数百个错误。虽然这种大规模验证的直接应用很复杂，但提供了一个简化的、一小时版本的流程，供开发人员用于常见的代码元素，如签名下载链接。
-
Raspberry Pi 驱动 Databricks AI 模型；Expat 库获慕尼黑资助
以极简设计著称的 Raspberry Pi 被 Databricks 用于一个自回归模型。另外，开源库 Expat 已获得慕尼黑市为期六个月的资助，以支持其持续开发。