Microsoft Research· Alex Lavaee, Matthai Philipose·· 6 天前AI 评分58
Microsoft Research 推出 PDD Kit，以形式化验证保障 AI 智能体生成的代码正确性
Formally verifying agent-written full-stack web apps with PDD Kit
AI 导读
Microsoft Research 发布 PDD Kit，将 Proof-Driven Development 理念落地为一个可在 GitHub Next Chopin 中运行的工具包。
来源：Microsoft Research · microsoft.com