LLMによる論理推論課題、神経記号論的フレームワークが解決
Paulius Skaisgiris氏らは2026年11月2日(現地時間)、arXiv上で公開した研究論文において、自然言語で与えられた論理パズルを解決する「神経記号論的フレームワーク」を発表した。大規模言語モデル (LLM) のセマンティック解析能力と、Exact Cover（正確被覆）のような記号論的推論システムの決定性および信頼性を組み合わせることで、従来の純粋なニューラルネットワークベースの手法や既存の神経記号論的方法を上回る性能を示した。