Pobierz Linnk AI
•
Asystent Badawczy
>
Zaloguj się
spostrzeżenie
-
プログラム合成と検証
LLM生成Cプログラムの自動検証に向けて
大規模言語モデル(LLM)を用いて、与えられた仕様を満たすCプログラムを自動生成し検証するフレームワーク「SynVer」を提案する。
1