微软研究院发布PDD Kit验证智能体代码
热点事件历史事件
微软研究院发布PDD Kit验证智能体代码
1 篇报道1 个报道来源10 天前更新
先了解这件事
AI 综述
微软研究院联合 GitHub Next 发布研究原型 PDD Kit，用于形式化验证智能体编写的全栈 Web 应用。其做法是把用户意图转成 Verus 形式规约，再证明智能体生成的代码对每个输入都满足该规约；证明覆盖不到的部分退回测试。 微软研究院称，其他语言的代码可移植到 Rust 后按同一规约检查，非 Rust 项目可通过绑定调用已验证的 Rust 代码。该机构同时表示，证明本身仍需投入实际工作量，清晰的规约是控制这一投入的关键，因此 PDD Kit 把大量工作放在先厘清意图上。
AI 根据报道生成 · 10 天前更新
最新进展11月6日 00:00
Microsoft Research 用 PDD Kit 形式化验证智能体编写的全栈 Web 应用报道时间线
沿着报道，了解事件的不同侧面。
11月6日
- Microsoft Research精选Microsoft Research 用 PDD Kit 形式化验证智能体编写的全栈 Web 应用
Microsoft Research 联合 GitHub Next 发布研究原型 PDD Kit，把用户意图转成 Verus 形式规约，证明智能体写的代码对每个输入都满足规约，证明覆盖不到的部分退回测试。