Microsoft Research· Alex Lavaee, Matthai Philipose·· 5 天前AI 评分58
微软研究院用 PDD Kit 形式化验证智能体编写的全栈 Web 应用
Formally verifying agent-written full-stack web apps with PDD Kit
AI 导读
微软研究院联合 GitHub Next 推出研究原型 PDD Kit，在 Chopin 规划环境中把开发者意图转成 Verus 形式化规约，再用证明约束智能体生成的代码。
来源：Microsoft Research · microsoft.com