言語モデルのプログラム案を遺伝的探索で改善
Combining LLMs and Genetic Search for ARC-AGI-2
この論文をやさしく読む
ひとことで言うと
ARC-AGI-2課題で、言語モデルが作ったプログラムを出発点に遺伝的探索を行う研究。
何に役立つ？
考えられる用途は、プログラム探索の初期候補が重要な課題で、生成と大量の試行を組み合わせること。
この研究の面白いところ
公開評価セットの最初の60課題で、初期案だけでは2課題、探索後は計6課題を解いた。種なしの進化的探索では解けなかった。
どこまで分かった？
評価は指定された最初の60課題で、成功は6件。ARC-AGI-2全体への性能や他の計算量での結果は要旨から分からない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
大規模言語モデルはARC-AGI-2課題を解くプログラムを生成できるが、与えられた計算量では生成、デバッグ、検証を試せる回数が少ない。遺伝的アルゴリズムはもっと多くのプログラムを探索・試験できる一方、無作為な探索では解に近い領域から始められることがまれである。本研究は、コンパクトなドメイン固有言語（DSL）を介して両者を組み合わせる。 まず量子化したQwen3.5-4B言語モデルが各ARC-AGI-2課題に対する初期プログラム群を生成する。そのプログラムを初期集団の種とし、遺伝的アルゴリズムで課題の解へ向けて進化させる。DSLは、変異後のプログラムも必ず有効で実行できるよう設計されている。 言語モデルが提案した初期プログラムは、ARC-2公開評価セットの最初の60課題のうち2課題（3.3％）を解いた。遺伝的アルゴリズムがさらに4課題を解き、正しいテスト出力は合計6件（10.0％）となった。言語モデルの種を使わずに進化的探索を行った場合は、解に到達しなかった。言語モデルが生成したプログラムを遺伝的探索で改善し、正しい解を追加できることを示す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-23（UTC）
- 最新改訂
- 2026-09-23 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-23 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
LLMs can generate programs for ARC-AGI-2 tasks, but the provided compute only allows a small number of attempts to generate, debug and validate solutions. Genetic algorithms can search and test many more programs, but random search rarely starts in a useful neighborhood of the solution space. We combine the two methods through a compact domain specific language (DSL). First, a quantized Qwen3.5-4B LLM generates an initial set of programs for each ARCAGI-2 task. Then, we use those programs to seed an initial population of starting programs, and use genetic algorithms to evolve these programs towards a solution to the given task. The DSL is designed such that every mutated program remains valid and can be executed. The initial programs proposed by the LLM solve 2 (3.3%) of the first 60 tasks of the ARC-2 public evaluation set. The genetic algorithm solves an additional 4, giving 6 correct test outputs in total (10.0%). If we try using evolving solutions without this LLM seeding, we do not arrive at any solutions at all. The results show that genetic search can improve programs generated by LLMs and produce additional correct solutions.
arXiv ID: 2609.27242 ／ 要約の誤りについて