| Algebraic anti-unification | Jul 22, 2024 | Inductive logic programming | —Unverified | 0 |
| Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus | May 10, 2024 | ARCInductive logic programming | —Unverified | 0 |
| Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach | Feb 29, 2024 | Inductive logic programming | —Unverified | 0 |
| Learning big logical rules by joining small rules | Jan 29, 2024 | Drug DesignInductive logic programming | CodeCode Available | 0 |
| Learning logic programs by finding minimal unsatisfiable subprograms | Jan 29, 2024 | Inductive logic programmingProgram Synthesis | —Unverified | 0 |
| LLMs for Relational Reasoning: How Far are We? | Jan 17, 2024 | Common Sense ReasoningDecision Making | —Unverified | 0 |
| A Unifying Framework for Learning Argumentation Semantics | Oct 18, 2023 | Inductive logic programming | —Unverified | 0 |
| Symbolic Imitation Learning: From Black-Box to Explainable Driving Policies | Sep 27, 2023 | Autonomous DrivingImitation Learning | —Unverified | 0 |
| Deep Inductive Logic Programming meets Reinforcement Learning | Aug 30, 2023 | Inductive logic programmingreinforcement-learning | —Unverified | 0 |
| Inductive Learning of Declarative Domain-Specific Heuristics for ASP | Aug 30, 2023 | Inductive LearningInductive logic programming | —Unverified | 0 |
