本論文では、大規模言語モデル（LLM）を用いて論理ルールの述語に名前を付ける問題に取り組みます。誘導論理プログラミングの文脈では、さまざまなルール生成手法が無名の述語を含むルールを生成しますが、述語の発明はその一例です。この無名の述語は、論理理論の可読性、解釈可能性および再利用性を妨げます。著者たちは、近年のLLMの進展を活かし、自然言語とコードを処理して無名述語に意味のある名前を提案する能力を探求します。彼らのアプローチの評価は、一部の手作りの論理ルールで行われ、LLMがこのタスクに対して潜在的に有用であることを示しています。