| Online inductive learning from answer sets for efficient reinforcement learning exploration | Jan 13, 2025 | Inductive LearningInductive logic programming | —Unverified | 0 |
| HT-HEDL: High-Throughput Hypothesis Evaluation in Description Logic | Dec 1, 2024 | CPUGPU | —Unverified | 0 |
| Learning Rules Explaining Interactive Theorem Proving Tactic Prediction | Nov 2, 2024 | Automated Theorem ProvingInductive logic programming | CodeCode Available | 0 |
| Differentiable Inductive Logic Programming for Fraud Detection | Oct 29, 2024 | Fraud DetectionInductive logic programming | —Unverified | 0 |
| LLM-Augmented Symbolic Reinforcement Learning with Landmark-Based Task Decomposition | Oct 2, 2024 | Common Sense ReasoningInductive logic programming | —Unverified | 0 |
| Learning Robust Reward Machines from Noisy Labels | Aug 27, 2024 | Inductive logic programmingReinforcement Learning (RL) | CodeCode Available | 0 |
| Relational decomposition for program synthesis | Aug 22, 2024 | Inductive logic programmingProgram Synthesis | CodeCode Available | 0 |
| Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation | Aug 21, 2024 | Graph Neural NetworkInductive logic programming | —Unverified | 0 |
| Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis | Aug 15, 2024 | Inductive LearningInductive logic programming | —Unverified | 0 |
| Neurosymbolic Methods for Rule Mining | Aug 11, 2024 | Inductive logic programming | —Unverified | 0 |
