Microsoft Research· Alex Lavaee, Matthai Philipose·· 1 天前
微软研究院用 PDD Kit 形式化验证智能体编写的全栈 Web 应用
Formally verifying agent-written full-stack web apps with PDD Kit
AI 导读
微软研究院联合 GitHub Next 和 RiSE 组发布研究原型 PDD Kit，把开发者的自然语言意图转成 Verus 形式规约，证明智能体生成的代码对每个输入都满足规约，证明覆盖不到的部分则回退到测试。
入选记录
门槛 60官方一手第一次 58第二次 58
未入选两次之和 116 < 门槛的两倍 120
- 信源等级
- 官方一手，这一级的门槛是 60 分
- 预筛
- 通过：AI代理生成代码的形式化验证工具
评分由模型按同一份标准独立打两次，满分 100；两次之和达到门槛的两倍才入选。门槛按信源等级设定。
来源：Microsoft Research · microsoft.com