Microsoft Research· Alex Lavaee, Matthai Philipose·· 8 時間前
Microsoft Research、PDD Kitでエージェントが書いたフルスタックWebアプリを形式検証
Formally verifying agent-written full-stack web apps with PDD Kit
AI による要約
Microsoft ResearchはGitHub NextおよびRiSEグループと共同で研究プロトタイプ「PDD Kit」を公開した。開発者の自然言語による意図をVerusの形式仕様に変換し、エージェントが生成したコードがすべての入力に対して仕様を満たすことを証明する。証明が届かない部分はテストにフォールバックする。
入選の記録
基準 60公式・一次情報1 回目 582 回目 58
入選せず二回の合計 116 < 基準の 2 倍 120
- 情報源の区分
- 公式・一次情報、この区分の基準は 60 点
- 予備審査
- 通過：AI代理生成代码的形式化验证工具
採点はモデルが同じ基準で独立に二回行い、満点は 100。二回の合計が基準の 2 倍に届いたものだけが入選します。基準は情報源の区分ごとに決めています。
情報源：Microsoft Research · microsoft.com