| AutoCoder: Enhancing Code Large Language Model with AIEV-Instruct | May 23, 2024 | Class-level Code GenerationCode Completion | CodeCode Available | 4 |
| Relational program synthesis with numerical reasoning | Oct 3, 2022 | Inductive logic programmingProgram Synthesis | CodeCode Available | 1 |
| Learning programs with magic values | Aug 5, 2022 | Drug DesignInductive logic programming | CodeCode Available | 1 |
| Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks | Dec 6, 2021 | BenchmarkingInductive logic programming | CodeCode Available | 1 |
| Predicate Invention by Learning From Failures | Apr 29, 2021 | Inductive logic programming | CodeCode Available | 1 |
| Differentiable Inductive Logic Programming for Structured Examples | Mar 2, 2021 | Inductive logic programming | CodeCode Available | 1 |
| Inductive logic programming at 30: a new introduction | Aug 18, 2020 | BIG-bench Machine LearningInductive logic programming | CodeCode Available | 1 |
| Learning programs by learning from failures | May 5, 2020 | Inductive logic programming | CodeCode Available | 1 |
| Forgetting to learn logic programs | Nov 15, 2019 | Inductive logic programmingMulti-Task Learning | CodeCode Available | 1 |
| CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from Text | Aug 16, 2019 | DiagnosticGraph Neural Network | CodeCode Available | 1 |
| Learning higher-order logic programs | Jul 25, 2019 | Inductive logic programming | CodeCode Available | 1 |
| Neural Logic Machines | Apr 26, 2019 | Decision MakingInductive Learning | CodeCode Available | 1 |
| Playgol: learning programs through play | Apr 18, 2019 | Inductive logic programmingProgram induction | CodeCode Available | 1 |
| Probabilistic Inductive Logic Programming Based on Answer Set Programming | May 4, 2014 | Inductive logic programmingparameter estimation | CodeCode Available | 1 |
| Learning Symbolic Persistent Macro-Actions for POMDP Solving Over Time | May 6, 2025 | Computational EfficiencyDecision Making | —Unverified | 0 |
| Neuro-symbolic Weak Supervision: Theory and Semantics | Mar 24, 2025 | Inductive logic programmingPartial Label Learning | —Unverified | 0 |
| An Empirical Comparison of Cost Functions in Inductive Logic Programming | Mar 10, 2025 | Inductive logic programmingProgram Synthesis | —Unverified | 0 |
| Neuro-Symbolic Contrastive Learning for Cross-domain Inference | Feb 13, 2025 | Contrastive LearningInductive logic programming | —Unverified | 0 |
| Proceedings 40th International Conference on Logic Programming | Feb 11, 2025 | Inductive logic programmingProbabilistic Programming | —Unverified | 0 |
| Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback | Jan 13, 2025 | Inductive LearningInductive logic programming | CodeCode Available | 0 |
| 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 |
