| 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 |
| Algebraic anti-unification | Jul 22, 2024 | Inductive logic programming | —Unverified | 0 |
| AutoCoder: Enhancing Code Large Language Model with AIEV-Instruct | May 23, 2024 | Class-level Code GenerationCode Completion | CodeCode Available | 4 |
| 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 |
