ADVENT automates predicate invention in ILP via LLM abductive generation paired with Prolog deductive verification, reporting 58% success (80% with verification) on poker-hand tasks where standard ILP fails.
Inductive logic programming at 30: A new introduction,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
ADVENT: LLM-Driven Automatic Predicate Invention for ILP
ADVENT automates predicate invention in ILP via LLM abductive generation paired with Prolog deductive verification, reporting 58% success (80% with verification) on poker-hand tasks where standard ILP fails.