LLM推論をシンボリックソルバーへコンパイル ReaComp、プログラム合成を効率化
Atharva Naik氏らは2026年5月6日、LLMの推論プロセスをシンボリックソルバーへコンパイルする手法「ReaComp」を発表した。大規模な組み合わせ探索を要するプログラム合成タスクにおいてLLMが抱えるコストと信頼性の課題を克服する目的で開発されており、少数の推論トレースから再利用可能なシンボリックプログラムシンセサイザーを生成する。構築されたソルバーはテスト段階でLLMを呼び出さず、独立したシステムとして機能するとされる。