haldai / ABL_minimalLinks
A minimal example of Abductive Learning
☆15Updated last year
Alternatives and similar repositories for ABL_minimal
Users that are interested in ABL_minimal are comparing it to the libraries listed below
Sorting:
- An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a un…☆68Updated last month
- Neuro-Symbolic Hierarchical Rule Induction☆14Updated 2 years ago
- A curated paper list on neural symbolic and probabilistic logic.☆128Updated last year
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆21Updated last year
- ☆46Updated last year
- Neural Logic Inductive Learning☆44Updated 3 years ago
- ☆13Updated last year
- ☆38Updated 9 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆255Updated last year
- Python notebooks for a tutorial on neurosymbolic programming☆77Updated last year
- Code and data for the paper "Understanding Hidden Context in Preference Learning: Consequences for RLHF"☆30Updated last year
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆47Updated 3 months ago
- Learning local search heuristics for Boolean satisfiability☆37Updated last year
- Code and Data for DeepLog system☆19Updated 2 years ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆30Updated last year
- Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries☆67Updated last year
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Updated 2 years ago
- Neurosymbolic Library☆25Updated last week
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated last year
- The Neuro-Symbolic Forward Reasoner☆25Updated 2 years ago
- ✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models☆125Updated last month
- Uncertainty-guided Likelihood Tree Search☆9Updated 8 months ago
- clone/download codes from https://anonymous.4open.science/☆33Updated 3 years ago
- Code for the Population-Based Bandits Algorithm, presented at NeurIPS 2020.☆20Updated 4 years ago
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆30Updated 3 years ago
- A repository to introduce the algorithmic information theory. You could learn what is Kolmogorov complexity and why it is important here.☆11Updated 2 weeks ago
- ☆35Updated 7 months ago
- ☆29Updated last year
- Benchmarking Language Model Agents in Algorithm Search for Combinatorial Optimization☆22Updated 2 months ago
- ☆17Updated 8 months ago