SOTAVerified

Inductive logic programming

Papers

Showing 110 of 153 papers

TitleStatusHype
AutoCoder: Enhancing Code Large Language Model with AIEV-InstructCode4
Relational program synthesis with numerical reasoningCode1
Learning programs with magic valuesCode1
Neuro-Symbolic Inductive Logic Programming with Logical Neural NetworksCode1
Predicate Invention by Learning From FailuresCode1
Differentiable Inductive Logic Programming for Structured ExamplesCode1
Inductive logic programming at 30: a new introductionCode1
Learning programs by learning from failuresCode1
Forgetting to learn logic programsCode1
CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from TextCode1
Show:102550
← PrevPage 1 of 16Next →

Benchmark Results

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