Veri-Sure：正しいRTLコード生成のための時間的追跡と形式検証を備えた契約認識型マルチエージェントフレームワーク
大規模言語モデルを用いたRTL設計において、設計契約（Design Contract）を核としたマルチエージェントフレームワーク「VERI-SURE」を開発し、エージェント間での意図の乖離（セマンティック・ドリフト）を防ぐ仕組みを構築しました。
Cog AI Archive
最新の記事
生成AI研究を、要点から追う。
最新の論文記事を読みやすく整理。保存・タグ検索に加え、Plus/Proでは研究ノートと知識グラフで理解を積み上げられます。