ロジックパズル解決におけるLLMの性能向上を目的としたSolver-in-the-Loopフレームワーク

この研究は、ロジックパズル解決に特化した大規模言語モデル（LLM）を強化するための新しいフレームワークを紹介しています。「Solver-in-the-Loop」アプローチは、おそらくLLMの解を繰り返し洗練させるためにロジックソルバーを統合しており、精度の大幅な向上につながる可能性があります。

• •「Solver-in-the-Loop」フレームワークを提示。
• •ロジックパズルにおけるLLMの性能向上を目指す。
• •Answer Set Programming (ASP) を利用。