danyvarghese / PyGol
A novel Inductive Logic Programming(ILP) system based on Meta Inverse Entailment in Python.
☆13Updated 4 months ago
Alternatives and similar repositories for PyGol:
Users that are interested in PyGol are comparing it to the libraries listed below
- An inductive logic programming system☆217Updated last month
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆222Updated 7 months ago
- A Gymnasium-based Environment of the Abstraction and Reasoning Corpus (ARC)☆64Updated 6 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆102Updated 5 months ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆208Updated this week
- Abstract Reasoning with Graph Abstractions (ARGA) implementation☆60Updated 8 months ago
- Materials for ConceptARC paper☆89Updated 4 months ago
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆62Updated last year
- ARC gym: a data generation framework for the Abstraction & Reasoning Corpus☆19Updated 2 months ago
- Retrieval-Augmented Theorem Provers for Lean☆258Updated last month
- Domain Specific Language for the Abstraction and Reasoning Corpus☆238Updated 5 months ago
- Bootstrapping ARC☆103Updated 3 months ago
- ☆23Updated last year
- ☆36Updated 4 months ago
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆88Updated last year
- Python interface for SWI-Prolog☆45Updated last month
- My writings about ARC (Abstraction and Reasoning Corpus)☆69Updated last week
- Experimentation framework for Popper☆21Updated 10 months ago
- Create an AI capable of solving reasoning tasks it has never seen before☆39Updated 3 months ago
- Reverse Engineering the Abstraction and Reasoning Corpus☆237Updated 2 weeks ago
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated 9 months ago
- ☆61Updated 2 years ago
- A novel approach to learning concept embeddings and approximate reasoning in ALC knowledge bases with neural networks☆13Updated 2 years ago
- A scalable abstraction learning library☆76Updated last year
- Framework and Language for Neurosymbolic Programming.☆241Updated 2 months ago
- ☆62Updated 3 years ago
- ☆29Updated last year
- Our solution for the arc challenge 2024☆107Updated last week
- 🔬 Interpretability for Leela Chess Zero networks.☆11Updated last week