AbductiveLearning / ABLkit
An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a unified framework.
☆50Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for ABLkit
- A minimal example of Abductive Learning☆13Updated 11 months ago
- Based on the learnware paradigm, the learnware package supports the entire process including the submission, usability testing, organizat…☆94Updated 3 weeks ago
- Code and Data for DeepLog system☆19Updated last year
- Beimingwu is the first systematic open-source implementation of the learnware dock system, providing a preliminary research platform for …☆105Updated 4 months ago
- ☆16Updated 2 years ago
- Experimentation framework for Popper☆20Updated 6 months ago
- Python notebooks for a tutorial on neurosymbolic programming☆62Updated 7 months ago
- Welcome to the Awesome Feature Learning in Deep Learning Thoery Reading Group! This repository serves as a collaborative platform for sch…☆144Updated 3 weeks ago
- A Python Package for Non-stationary Online Learning (PyNOL)☆27Updated 7 months ago
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆16Updated 8 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆196Updated 3 months ago
- The code of NeurIPS 2021 paper "Scalable Rule-Based Representation Learning for Interpretable Classification" and TPAMI paper "Learning I…☆101Updated 8 months ago
- ☆35Updated last week
- PyTorch Explain: Interpretable Deep Learning in Python.☆146Updated 6 months ago
- An inductive logic programming system☆206Updated last week
- This repository contains the source code of the paper "Learning Accurate and Interpretable Decision Rule Sets from Neural Networks".☆11Updated 2 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆11Updated last year
- A curated paper list on neural symbolic and probabilistic logic.☆114Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆24Updated last month
- Code for the paper: Proving Theorems Recursively☆11Updated 5 months ago
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆83Updated 3 months ago
- ☆17Updated last month
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 11 months ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆37Updated last year
- ☆59Updated last year
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆32Updated 6 months ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆19Updated last year
- Introduction, selected papers and possible corresponding codes in our review paper "A Survey of Neural Trees"☆78Updated 2 years ago
- Differentiable DAG Sampling (ICLR 2022)☆36Updated 2 years ago
- ☆30Updated 2 months ago