PulseAugur
中
实时 23:09:18
实体 distributed system

distributed system

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

Show in brief
总计 · 30天
0
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_48693 ·

    AI系统生成形式化验证的分布式系统

    研究人员开发了归纳演绎合成（IDS）系统，这是一种能够生成形式化验证的分布式系统的新型AI系统。与以往在形式化保证方面存在困难的AI编码代理不同，IDS同时合成代码和证明，并从失败中学习以改进其策略。该方法在7小时内成功验证了所有七个分布式键值存储规范，每个规范的成本为106美元，在速度和成本方面均显著优于专家努力和当前最先进的AI代理。