SOTAVerified

Inductive logic programming

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–25 of 153 papers

TitleStatusHype
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
Online inductive learning from answer sets for efficient reinforcement learning exploration—0
Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert FeedbackCode0
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
AutoCoder: Enhancing Code Large Language Model with AIEV-InstructCode4
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
Show:102550
← PrevPage 1 of 7Next →

Benchmark Results

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