PulseAugur
中
实时 18:17:37
实体 Ilya Sergey

Ilya Sergey

PulseAugur coverage of Ilya Sergey — every cluster mentioning Ilya Sergey 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. RESEARCH · CL_329943 ·

    AI初创公司致力于使形式化软件验证实用且必要

    新一批初创公司正在利用生成式AI,使形式化软件验证(一种证明代码无bug的复杂数学过程)更加实用和必要。像由斯坦福大学研究员Chuyue Sun创立的&Truth这样的公司,正在利用AI显著缩短这一过程所需的时间和成本,而这一过程在历史上因过于繁琐而无法广泛采用。虽然&Truth已筹集到7000万美元,并且像Harmonic这样的竞争对手也在获得关注,但由于用户错误和硬件故障等持续存在的挑战,AI驱动的形式化验证在关键系统之外的广泛应…