PulseAugur
实时 11:22:52
实体 ai-safety-formalization-atlas

ai-safety-formalization-atlas

PulseAugur coverage of ai-safety-formalization-atlas — every cluster mentioning ai-safety-formalization-atlas across labs, papers, and developer communities, ranked by signal.

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

1 天有情绪数据

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

    AI安全形式化地图集发布,使用Lean Prover

    Mario Brčić及其合作者发布了一个新的开源项目——AI安全形式化地图集。该项目旨在利用Lean Prover(一个定理证明器和编程语言)来形式化AI安全原则。该项目托管在GitHub上,并与理论物理研究所相关。