ADVENT: LLM-Driven Automatic Predicate Invention for ILP
ADVENT is an LLM-driven system for Inductive Logic Programming (ILP) that automatically invents new predicates to improve rule learning. It combines Large Language Models for pattern discovery with Prolog's deductive verification in a loop. This process extends the system's knowledge base, leading to higher success rates and reusable rules across different tasks.