SOTAVerified

Inductive logic programming

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–50 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
Learning higher-order logic programsCode1
Neural Logic MachinesCode1
Playgol: learning programs through playCode1
Probabilistic Inductive Logic Programming Based on Answer Set ProgrammingCode1
Learning Symbolic Persistent Macro-Actions for POMDP Solving Over Time—0
Neuro-symbolic Weak Supervision: Theory and Semantics—0
An Empirical Comparison of Cost Functions in Inductive Logic Programming—0
Neuro-Symbolic Contrastive Learning for Cross-domain Inference—0
Proceedings 40th International Conference on Logic Programming—0
Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert FeedbackCode0
Online inductive learning from answer sets for efficient reinforcement learning exploration—0
HT-HEDL: High-Throughput Hypothesis Evaluation in Description Logic—0
Learning Rules Explaining Interactive Theorem Proving Tactic PredictionCode0
Differentiable Inductive Logic Programming for Fraud Detection—0
LLM-Augmented Symbolic Reinforcement Learning with Landmark-Based Task Decomposition—0
Learning Robust Reward Machines from Noisy LabelsCode0
Relational decomposition for program synthesisCode0
Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation—0
Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis—0
Neurosymbolic Methods for Rule Mining—0
Algebraic anti-unification—0
Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus—0
Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach—0
Learning logic programs by finding minimal unsatisfiable subprograms—0
Learning big logical rules by joining small rulesCode0
LLMs for Relational Reasoning: How Far are We?—0
A Unifying Framework for Learning Argumentation Semantics—0
Symbolic Imitation Learning: From Black-Box to Explainable Driving Policies—0
Inductive Learning of Declarative Domain-Specific Heuristics for ASP—0
Towards One-Shot Learning for Text Classification using Inductive Logic ProgrammingCode0
"Would life be more interesting if I were in AI?" Answering Counterfactuals based on Probabilistic Inductive Logic Programming—0
Deep Inductive Logic Programming meets Reinforcement Learning—0
Explainable and Trustworthy Traffic Sign Detection for Safe Autonomous Driving: An Inductive Logic Programming Approach—0
Human Comprehensible Active Learning of Genome-Scale Metabolic Networks—0
Learning MDL logic programs from noisy dataCode0
Learning logic programs by discovering higher-order abstractionsCode0
Learning Logic Specifications for Soft Policy Guidance in POMCPCode0
Generalisation Through Negation and Predicate InventionCode0
A Divide-Align-Conquer Strategy for Program Synthesis—0
A Model for Intelligible Interaction Between Agents That Predict and ExplainCode0
Show:102550
← PrevPage 1 of 4Next →

Benchmark Results

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