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
- ☆36Updated 4 months ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆208Updated 2 weeks ago
- Python notebooks for a tutorial on neurosymbolic programming☆66Updated 10 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆222Updated 7 months ago
- Python interface for SWI-Prolog☆45Updated last month
- Framework and Language for Neurosymbolic Programming.☆241Updated 2 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
- ☆19Updated last month
- Abstract Reasoning with Graph Abstractions (ARGA) implementation☆60Updated 8 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆102Updated 5 months ago
- Neuro-Symbolic AI Toolkit☆85Updated last year
- A Gymnasium-based Environment of the Abstraction and Reasoning Corpus (ARC)☆64Updated 6 months ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆332Updated 4 months ago
- MI and Formal Verification of NNs on Algorithmic tasks!☆16Updated 11 months ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆200Updated 2 years ago
- My writings about ARC (Abstraction and Reasoning Corpus)☆69Updated last week
- Materials for ConceptARC paper☆89Updated 4 months ago
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated 9 months ago
- PyTorch Explain: Interpretable Deep Learning in Python.☆152Updated 9 months ago
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆61Updated last year
- Experimentation framework for Popper☆21Updated 10 months ago
- Language-annotated Abstraction and Reasoning Corpus☆82Updated last year
- ☆160Updated 11 months ago
- ARC gym: a data generation framework for the Abstraction & Reasoning Corpus☆19Updated 2 months ago
- ☆9Updated 4 months ago
- Scalable Convex Neural Networks☆23Updated 4 months ago
- Efficient and general syntactical decoding for Large Language Models☆240Updated last week
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Updated 2 years ago
- The history files when recording human interaction while solving ARC tasks☆97Updated this week