Microsoft Research· 一手来源· Alex Lavaee, Matthai Philipose·· 3 小时前AI 评分31
Microsoft Research 发布 PDD Kit：用形式化验证确保 Agent 编写的 Web 应用符合意图
Formally verifying agent-written full-stack web apps with PDD Kit
AI 导读
Microsoft Research 推出 PDD Kit，将形式化方法引入日常软件开发，通过 Proof-Driven Development 范式确保 AI Agent 生成的代码严格符合用户意图。
来源：Microsoft Research · microsoft.com