Predicate Renaming via Large Language Models
Not on the map. Why?
Abstract (arXiv)
In this paper, we address the problem of giving names to predicates in logic rules using Large Language Models (LLMs). In the context of Inductive Logic Programming, various rule generation methods produce rules containing unnamed predicates, with Predicate Invention being a key example. This hinders the readability, interpretability, and reusability of the logic theory. Leveraging recent advancements in LLMs development, we explore their ability to process natural language and code to provide semantically meaningful suggestions for giving a name to unnamed predicates. The evaluation of our approach on some hand-crafted logic rules indicates that LLMs hold potential for this task.
Key facts. Cited by 2 papers in the map (data through 14 Oct 2026). Builds on 44 of its 94 references that are in the map. First posted on arXiv 29 Oct 2025.
Builds on
44 of 94 references.
References · 44
- 2017Attention Is All You Needcited by 60,361
- 2020Language Models are Few-Shot Learnerscited by 32,419
- 2019Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformercited by 14,599
- 2023LLaMA: Open and Efficient Foundation Language Modelscited by 14,132
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,459
- 2015Distilling the Knowledge in a Neural Networkcited by 10,324
- 2021Training Verifiers to Solve Math Word Problemscited by 10,109
- 2023Judging LLM-as-a-Judge with MT-Bench and Chatbot Arenacited by 8,626
- 2021Evaluating Large Language Models Trained on Codecited by 8,320
- 2023Mamba: Linear-Time Sequence Modeling with Selective State Spacescited by 4,718
- 2022Large Language Models are Zero-Shot Reasonerscited by 4,374
- 2021On the Opportunities and Risks of Foundation Modelscited by 4,033
32 more
- 2023Lost in the Middle: How Language Models Use Long Contextscited by 3,455
- 2023QLoRA: Efficient Finetuning of Quantized LLMscited by 3,418
- 2022Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language modelscited by 1,998
- 2018CommonsenseQA: A Question Answering Challenge Targeting Commonsense Knowledgecited by 1,822
- 2022Rethinking the Role of Demonstrations: What Makes In-Context Learning Work?cited by 1,434
- 2024A Survey on Large Language Models for Code Generationcited by 658
- 2023Large Language Models for Software Engineering: A Systematic Literature Reviewcited by 399
- 2022Selection-Inference: Exploiting Large Language Models for Interpretable Logical Reasoningcited by 334
- 2023Challenges and Applications of Large Language Modelscited by 254
- 2022GitHub Copilot AI pair programmer: Asset or Liability?cited by 152
- 2023Hypothesis Search: Inductive Reasoning with Language Modelscited by 120
- 2023Generative AIcited by 120
- 2021Examining Zero-Shot Vulnerability Repair with Large Language Modelscited by 105
- 2022ChatGPT Makes Medicine Easy to Swallow: An Exploratory Case Study on Simplified Radiology Reportscited by 101
- 2023Memory-Efficient Fine-Tuning of Compressed Large Language Models via sub-4-bit Integer Quantizationcited by 100
- 2020Inductive logic programming at 30: a new introductioncited by 85
- 2020Learning programs by learning from failurescited by 73
- 2024Understanding LLMs: A Comprehensive Overview from Training to Inferencecited by 59
- 2024Falcon Mamba: The First Competitive Attention-free 7B Language Modelcited by 46
- 2023Leveraging Large Language Models to Generate Answer Set Programscited by 33
- 2022Language Models as Inductive Reasonerscited by 32
- 2023Exploring the Trade-Offs: Unified Large Language Models vs Local Fine-Tuned Models for Highly-Specific Radiology NLI Taskcited by 32
- 2020The ILASP system for Inductive Learning of Answer Set Programscited by 27
- 2023Inductive reasoning in humans and large language modelscited by 24
- 2024LLMs for Relational Reasoning: How Far are We?cited by 21
- 2020On the Sub-Layer Functionalities of Transformer Decodercited by 12
- 2024The Role of Foundation Models in Neuro-Symbolic Learning and Reasoningcited by 12
- 2021Predicate Invention by Learning From Failurescited by 9
- 2021A Critical Review of Inductive Logic Programming Techniques for Explainable AIcited by 7
- 2024Neurosymbolic Graph Enrichment for Grounded World Modelscited by 6
- 2024Gazelle: An Instruction Dataset for Arabic Writing Assistancecited by 4
- 2025On LLM-generated Logic Programs and their Inference Execution Methodscited by 1
Built on by
Citing papers per year: 2026: 2.
2 papers.