SOTAVerified

Inductive logic programming

Papers

Showing 125 of 153 papers

TitleStatusHype
AutoCoder: Enhancing Code Large Language Model with AIEV-InstructCode4
CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from TextCode1
Learning programs by learning from failuresCode1
Relational program synthesis with numerical reasoningCode1
Learning programs with magic valuesCode1
Learning higher-order logic programsCode1
Playgol: learning programs through playCode1
Neuro-Symbolic Inductive Logic Programming with Logical Neural NetworksCode1
Probabilistic Inductive Logic Programming Based on Answer Set ProgrammingCode1
Differentiable Inductive Logic Programming for Structured ExamplesCode1
Forgetting to learn logic programsCode1
Neural Logic MachinesCode1
Predicate Invention by Learning From FailuresCode1
Inductive logic programming at 30: a new introductionCode1
Inductive Logic Programming via Differentiable Deep Neural Logic NetworksCode0
Inductive general game playingCode0
Induction of Non-Monotonic Rules From Statistical Learning Models Using High-Utility Itemset MiningCode0
Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert FeedbackCode0
Knowledge Refactoring for Inductive Program SynthesisCode0
Inclusion of Domain-Knowledge into GNNs using Mode-Directed Inverse EntailmentCode0
Generalisation Through Negation and Predicate InventionCode0
Incorporating Symbolic Domain Knowledge into Graph Neural NetworksCode0
FF-NSL: Feed-Forward Neural-Symbolic LearnerCode0
A Model for Intelligible Interaction Between Agents That Predict and ExplainCode0
Expressive Explanations of DNNs by Combining Concept Analysis with ILPCode0
Show:102550
← PrevPage 1 of 7Next →

Benchmark Results

#ModelMetricClaimedVerifiedStatus
1AMIE+H-Score0.23Unverified
2FOILH-Score0.15Unverified
3Neural-LPH-Score0.1Unverified
4NTPH-Score0.07Unverified