PulseAugur
中
实时 17:24:45
实体 CS professor

CS professor

PulseAugur coverage of CS professor — every cluster mentioning CS professor 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. COMMENTARY · CL_318217 ·

    人工智能推动形式化方法，实现更大规模软件代码验证

    一位计算机科学教授讨论了人工智能如何正在增强形式化方法领域。教授解释说，与以前相比，现在可以使用人工智能工具来证明规模大得多的软件系统的代码正确性。这一进步对软件的可靠性和安全性具有重要意义。