PulseAugur
中
实时 12:49:30
实体 machine-checked guarantees

machine-checked guarantees

PulseAugur coverage of machine-checked guarantees — every cluster mentioning machine-checked guarantees 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_305520 ·

    研究人员发布 MAGS 用于 AI 代码安全验证

    研究人员推出了 MAGS,一个旨在验证 AI 代码中安全属性的系统。该方法利用机器检查的保证,对人工智能实现中指定的安全要求进行形式化验证。