Python and TensorFlow implementation of the paper "Learning Explanatory Rules from Noisy Data." Evans Richard and Edward Grefenstette. Journal of Artificial Intelligence Research 61 (2018): 1-64.
☆53May 16, 2021Updated 4 years ago
Alternatives and similar repositories for DILP-Core
Users that are interested in DILP-Core are comparing it to the libraries listed below
Sorting:
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 2 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆14Dec 31, 2022Updated 3 years ago
- Framework of DataLog Neural Program Synthesis☆26Apr 2, 2019Updated 6 years ago
- Neural Logic Inductive Learning☆44Aug 6, 2022Updated 3 years ago
- Implementation for the Neural Logic Machines (NLM).☆294May 13, 2019Updated 6 years ago
- Differentiable Learning of Logical Rules for Knowledge Base Reasoning☆224Feb 12, 2019Updated 7 years ago
- End-to-End Differentiable Proving☆90Nov 21, 2018Updated 7 years ago
- Logic Reinforcement Learning☆21Oct 20, 2025Updated 4 months ago
- An inductive logic programming system☆270Updated this week
- ☆38Nov 11, 2024Updated last year
- Experimentation framework for Popper☆25Jul 24, 2025Updated 7 months ago
- ☆10May 24, 2021Updated 4 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- ☆11Apr 14, 2023Updated 2 years ago
- Metagol - an inductive logic programming system☆207Sep 13, 2021Updated 4 years ago
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆17Jan 4, 2023Updated 3 years ago
- Implementation of the first neural natural logic paper on natural language inference☆11Oct 31, 2022Updated 3 years ago
- A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.☆13Apr 6, 2022Updated 3 years ago
- [NeurIPS, 2020 - Reproducibility Challenge]: [RE] Towards Interpretable Reinforcement Learning Using Attention Augmented Agents☆13Apr 26, 2021Updated 4 years ago
- ☆43Aug 26, 2025Updated 6 months ago
- ☆13Dec 6, 2018Updated 7 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Feb 10, 2023Updated 3 years ago
- A framework for PSL inference.☆21Nov 9, 2015Updated 10 years ago
- A powerful automation agent for macOS that enables natural language control of various system applications and services. This agent allow…☆34Jun 5, 2025Updated 8 months ago
- ☆111Oct 20, 2018Updated 7 years ago
- ☆20Apr 3, 2023Updated 2 years ago
- Pytorch code for "Learning Belief Representations for Imitation Learning in POMDPs" (UAI 2019)☆22Aug 4, 2022Updated 3 years ago
- Attend Infer Repeat (AIR) in PyTorch☆22Jul 25, 2024Updated last year
- [EMNLP'24 (Main)] DRPO(Dynamic Rewarding with Prompt Optimization) is a tuning-free approach for self-alignment. DRPO leverages a search-…☆24Nov 17, 2024Updated last year
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆306Feb 4, 2026Updated 3 weeks ago
- ☆22Oct 4, 2019Updated 6 years ago
- LatPlan : A domain-independent, image-based classical planner☆87Oct 7, 2022Updated 3 years ago
- Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language☆98May 3, 2024Updated last year
- Conditional Theorem Proving☆54Apr 30, 2021Updated 4 years ago
- The Neuro-Symbolic Forward Reasoner☆26Jun 19, 2023Updated 2 years ago
- Neural-Grammar-Symbolic Learning with Back-Search☆55Jul 25, 2024Updated last year
- SeqGAN but with more bells and whistles☆24Feb 15, 2018Updated 8 years ago
- Python package for Sentential Decision Diagrams (SDD)☆71Dec 15, 2025Updated 2 months ago
- Updated code base for GlanceNets: Interpretable, Leak-proof Concept-based models☆25Jun 28, 2023Updated 2 years ago