Microsoft Research· Alex Lavaee, Matthai Philipose·· 3 小时前精选
微软研究院发布 PDD Kit，用形式化验证约束智能体编写的全栈 Web 应用
Formally verifying agent-written full-stack web apps with PDD Kit
AI 导读
微软研究院与 GitHub Next 合作推出研究原型 PDD Kit，将用户意图转成 Verus 形式化规格，再证明编码智能体生成的代码对每个输入都满足该规格，无法证明之处退回测试。
推荐理由
微软研究院与 GitHub Next 展示了用形式化证明约束智能体生成代码的流程，可看到审查重心从逐行代码转向意图与规格。
来源：Microsoft Research · microsoft.com