AbductiveLearning / ABLkit
An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a unified framework.
☆58Updated 6 months ago
Alternatives and similar repositories for ABLkit:
Users that are interested in ABLkit are comparing it to the libraries listed below
- A minimal example of Abductive Learning☆13Updated last year
- Beimingwu is the first systematic open-source implementation of the learnware dock system, providing a preliminary research platform for …☆114Updated 8 months ago
- Code and Data for DeepLog system☆18Updated 2 years ago
- Based on the learnware paradigm, the learnware package supports the entire process including the submission, usability testing, organizat…☆97Updated last month
- ✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models☆54Updated this week
- Neuro-Symbolic Hierarchical Rule Induction☆12Updated 2 years ago
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆19Updated last year
- ☆64Updated last year
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆173Updated last month
- ☆12Updated 5 months ago
- ☆32Updated 5 months ago
- Experimentation framework for Popper☆22Updated 11 months ago
- ☆44Updated last year
- Neurosymbolic Library☆24Updated last week
- ☆36Updated 4 months ago
- A curated paper list on neural symbolic and probabilistic logic.☆123Updated last year
- A Python Package for Non-stationary Online Learning (PyNOL)☆30Updated 11 months ago
- Introduction, selected papers and possible corresponding codes in our review paper "A Survey of Neural Trees"☆79Updated 2 years ago
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆34Updated 10 months ago
- An inductive logic programming system☆220Updated last week
- Papers collections that is related to knowledge graph, causal inference, and large language model☆46Updated 7 months ago
- AI for Mathematics (AI4Math) paper list☆152Updated 6 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆226Updated 7 months ago
- Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data☆40Updated 10 months ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Updated 2 years ago
- ☆26Updated last year
- The code of NeurIPS 2021 paper "Scalable Rule-Based Representation Learning for Interpretable Classification" and TPAMI paper "Learning I…☆113Updated last year
- Clover: Closed-Loop Verifiable Code Generation☆31Updated 10 months ago
- ChatGPT plugin for theorem proving in Lean☆116Updated 11 months ago
- Welcome to the Awesome Feature Learning in Deep Learning Thoery Reading Group! This repository serves as a collaborative platform for sch…☆174Updated 3 months ago