Gabriel Orlanski
収録論文 1本 ・ フィジカルAI/ロボット学習
形式検証
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- MAGS: マルチエージェント自動形式化によるエージェント出力の安全性保証形式検証2026/9/16
LLMコーディングエージェントが生成するプログラムに対し、Dafnyを中間表現として用いたマルチエージェント自動形式化フレームワークMAGSを提案し、CUDAカーネル・端末スクリプト・ロボットアームタスクの計220例で安全性保証付きプログラム生成に成功した。