Vero: 実装と形式検証証明を同時生成するAI評価ベンチマーク
arXiv cs.AI ・ 2026-08-13
原題: Vero: Can AI Agents Build Formally Verified Software Repositories?
AI による要約
AIエージェントがリポジトリ規模でコード実装と機械検証可能な仕様証明を同時に作成できるかを評価するベンチマークVeroを提案した。Python、Dafny、Verus、Coqを用いた実世界リポジトリから暗号プロトコルなど43件のマルチモジュール課題を収録している。単一関数の生成にとどまらず、モジュール横断で正確性が保証されたソフトウェア開発能力を測定する。
この要約は当サイトの AI が生成したものです。正確な内容は 元記事（arXiv cs.AI）をご確認ください。