SOTAVerified

Inductive logic programming

Papers

Showing 150 of 153 papers

TitleStatusHype
AutoCoder: Enhancing Code Large Language Model with AIEV-InstructCode4
Learning programs with magic valuesCode1
Differentiable Inductive Logic Programming for Structured ExamplesCode1
Neuro-Symbolic Inductive Logic Programming with Logical Neural NetworksCode1
Predicate Invention by Learning From FailuresCode1
Learning higher-order logic programsCode1
Forgetting to learn logic programsCode1
Learning programs by learning from failuresCode1
Playgol: learning programs through playCode1
Relational program synthesis with numerical reasoningCode1
Neural Logic MachinesCode1
CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from TextCode1
Inductive logic programming at 30: a new introductionCode1
Probabilistic Inductive Logic Programming Based on Answer Set ProgrammingCode1
Distributed Online Learning of Event DefinitionsCode0
Relational decomposition for program synthesisCode0
Differentiable Inductive Logic Programming in High-Dimensional SpaceCode0
Inclusion of Domain-Knowledge into GNNs using Mode-Directed Inverse EntailmentCode0
Learn to Explain Efficiently via Neural Logic Inductive LearningCode0
Online Learning of Event DefinitionsCode0
Learning logic programs by combining programsCode0
Learning MDL logic programs from noisy dataCode0
Learning Robust Reward Machines from Noisy LabelsCode0
Lifting Symmetry Breaking Constraints with Inductive Logic ProgrammingCode0
Learning logic programs by discovering higher-order abstractionsCode0
Neural Logic Reinforcement LearningCode0
Learning big logical rules by joining small rulesCode0
Efficient lifting of symmetry breaking constraints for complex combinatorial problemsCode0
Learning logic programs by discovering where not to searchCode0
Learning Rules Explaining Interactive Theorem Proving Tactic PredictionCode0
Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert FeedbackCode0
Explanatory machine learning for sequential human teachingCode0
Composition of Relational Features with an Application to Explaining Black-Box PredictorsCode0
Incremental Learning of Event Definitions with Inductive Logic ProgrammingCode0
Symbolic Graph Embedding using Frequent Pattern MiningCode0
Expressive Explanations of DNNs by Combining Concept Analysis with ILPCode0
FF-NSL: Feed-Forward Neural-Symbolic LearnerCode0
Induction of Non-Monotonic Rules From Statistical Learning Models Using High-Utility Itemset MiningCode0
Knowledge Refactoring for Inductive Program SynthesisCode0
Generalisation Through Negation and Predicate InventionCode0
Learning Explanatory Rules from Noisy DataCode0
Incorporating Symbolic Domain Knowledge into Graph Neural NetworksCode0
Learning logic programs through divide, constrain, and conquerCode0
Learning Logic Specifications for Soft Policy Guidance in POMCPCode0
Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct ExamplesCode0
Inductive general game playingCode0
Inductive Logic Programming via Differentiable Deep Neural Logic NetworksCode0
Learning Rules with Stratified Negation in Differentiable ILP.Code0
A Model for Intelligible Interaction Between Agents That Predict and ExplainCode0
RuDaS: Synthetic Datasets for Rule Learning and Evaluation ToolsCode0
Show:102550
← PrevPage 1 of 4Next →

Benchmark Results

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