SOTAVerified

Inductive logic programming

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 26–50 of 153 papers

TitleStatusHype
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 2 of 7Next →

Benchmark Results

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