haldai / ABL_minimal
A minimal example of Abductive Learning
☆12Updated last year
Alternatives and similar repositories for ABL_minimal:
Users that are interested in ABL_minimal are comparing it to the libraries listed below
- An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a un…☆53Updated 5 months ago
- Neuro-Symbolic Hierarchical Rule Induction☆12Updated 2 years ago
- Neural Logic Inductive Learning☆42Updated 2 years ago
- A curated paper list on neural symbolic and probabilistic logic.☆120Updated last year
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆19Updated 11 months ago
- Code for Neural Execution Engines: Learning to Execute Subroutines☆17Updated 4 years ago
- ☆43Updated last year
- ☆20Updated last year
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆41Updated last year
- How to Turn Your Knowledge Graph Embeddings into Generative Models☆50Updated 7 months ago
- Code for the Population-Based Bandits Algorithm, presented at NeurIPS 2020.☆20Updated 3 years ago
- Introduction, selected papers and possible corresponding codes in our review paper "A Survey of Neural Trees"☆79Updated 2 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆38Updated 2 years ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆26Updated last year
- ☆33Updated 2 months ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆13Updated 3 weeks ago
- Neural Markov Logic Networks☆11Updated 3 years ago
- The code for our NeurIPS 2021 paper "Kernelized Heterogeneous Risk Minimization".☆12Updated 3 years ago
- ☆43Updated 3 years ago
- Efficient empirical NTKs in PyTorch☆18Updated 2 years ago
- Differentiable DAG Sampling (ICLR 2022)☆37Updated 2 years ago
- ☆24Updated last year
- ☆28Updated last year
- ☆48Updated last year
- ☆24Updated 4 years ago
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆31Updated 3 years ago
- The Neuro-Symbolic Forward Reasoner☆22Updated last year
- Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.☆48Updated last year
- Code and Data for DeepLog system☆18Updated 2 years ago
- Handwritten Equations Decipherment with Abductive Learning☆99Updated last year