PulseAugur
中
实时 22:22:05
English(EN) Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems

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

作者 PulseAugur 编辑部 · [1 个来源] ·

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

影响 赋能AI生成形式化验证的系统，显著降低了创建可靠分布式软件的时间和成本。

排序理由 该集群描述了一个新的AI系统及其在特定任务上的性能，详细介绍在一篇学术论文中。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →

报道来源 [1]

  1. arXiv cs.AI TIER_1 English(EN) · Shubham Agarwal, Alexander Krentsel, Shu Liu, Mert Cemri, Audrey Cheng, Rui Meng, Tomas Pfister, Chun-Liang Li, Sylvia Ratnasamy, Aditya Parameswaran, Matei Zaharia, Ion Stoica, Mohsen Lesani ·

    Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems

    arXiv:2605.23109v1 Announce Type: new Abstract: AI agents increasingly excel at generating, testing, and refining code. However, they fall short on tasks requiring formal guarantees of full coverage that testing alone cannot provide. Distributed systems are a prime example: prope…

相关实体

相关话题