Microsoft Research Blog· Alex Lavaee, Matthai Philipose·· 4 小时前AI 评分52
微软研究院推出 PDD Kit：用形式化验证约束 AI 智能体编写的全栈 Web 应用
Formally verifying agent-written full-stack web apps with PDD Kit
AI 导读
微软研究院与 GitHub Next 联合推出工具包 PDD Kit，提出证明驱动开发（PDD）范式，将开发者的自然语言意图转化为形式化规范，并利用 Verus 对 AI 智能体生成的代码进行形式化数学证明。
来源：Microsoft Research Blog · microsoft.com