PulseAugur
中
实时 13:57:40
实体 Sebastian Ullrich

Sebastian Ullrich

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

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 0
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_342981 ·

    AI 进展推动软件和硬件的正式验证

    多家公司正在推进形式验证领域，将其应用于 AI 系统及其运行的软件/硬件。Harmonic 使用其 Aristotle 代理进行可扩展验证，而 SF-Tensor 在 Lean 中对 NVIDIA 的 PTX 语言进行形式化。&Truth 旨在利用 Lean 证明 AI 生成软件的正确性，Clark Barrett 和 Ilya Sergey 等关键人物参与其中。此外，Theorem. 和 Anthropic 合作验证了 RISC-V…