本稿では、大規模言語モデル(LLM)を用いて、与えられた仕様を満たすCプログラムを自動生成し検証する新しいフレームワーク「SynVer」を提案する。
In un'altra lingua
dal contenuto originale
arxiv.org
Approfondimenti chiave tratti da
by Prasita Mukh... alle arxiv.org 10-22-2024
https://arxiv.org/pdf/2410.14835.pdfDomande più approfondite