大規模言語モデルを用いた列挙型プログラム合成のガイド

LLMと列挙アルゴリズムの統合により、形式的プログラム合成の性能向上が可能である。