实体
Inductive Deductive Synthesis
Inductive Deductive Synthesis
PulseAugur coverage of Inductive Deductive Synthesis — every cluster mentioning Inductive Deductive Synthesis across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 3
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 3
层级分布 · 90 天
主题
时间线
- 2026-05-25 research_milestone A new AI system, Inductive Deductive Synthesis, has been developed to generate formally verified distributed systems. 来源
最近 · 第 1/1 页 · 共 3 条
-
AI使用证明检查器生成形式化验证代码
研究人员开发了一种名为归纳演绎综合（Inductive Deductive Synthesis）的新AI方法，该方法在其实现循环中使用了证明检查器。这种方法类似于思维链（chain-of-thought），但具有形式化验证的中间状态，使AI能够生成形式化验证的系统。该系统以规范作为输入，并生成经过验证的实现原型，并计划与其他证明助手（如用于Rust输出的Verus）集成。
-
AI 研究带来鲁棒智能体和已验证的代码生成
研究人员开发了两种新颖的 AI 方法来增强系统的鲁棒性和安全性。一种方法，Infra-Bayesian 强化学习智能体，在最坏情况下优于传统的强化学习。另一种方法，归纳演绎合成，使 AI 能够生成经过形式验证的系统，将可验证性整合到 AI 代码生成中，以实现更安全的软件。
-
AI系统生成形式化验证的分布式系统
研究人员开发了归纳演绎合成（IDS）系统，这是一种能够生成形式化验证的分布式系统的新型AI系统。与以往在形式化保证方面存在困难的AI编码代理不同，IDS同时合成代码和证明，并从失败中学习以改进其策略。该方法在7小时内成功验证了所有七个分布式键值存储规范，每个规范的成本为106美元，在速度和成本方面均显著优于专家努力和当前最先进的AI代理。