LLM生成Cプログラムの自動検証に向けて

大規模言語モデル（LLM）を用いて、与えられた仕様を満たすCプログラムを自動生成し検証するフレームワーク「SynVer」を提案する。