IBM / neuro-vector-symbolic-architecturesLinks
PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature Machine Intelligence 2023.
☆98Updated 2 months ago
Alternatives and similar repositories for neuro-vector-symbolic-architectures
Users that are interested in neuro-vector-symbolic-architectures are comparing it to the libraries listed below
Sorting:
- Language-annotated Abstraction and Reasoning Corpus☆98Updated 2 years ago
- Materials for ConceptARC paper☆108Updated last year
- ☆73Updated 3 years ago
- NGC-Learn: Neurobiological Systems Simulation and NeuroAI Design in Python☆167Updated this week
- Learning Universal Predictors☆81Updated last year
- Neuro-Symbolic AI Toolkit☆108Updated 2 months ago
- Abstract Reasoning with Graph Abstractions (ARGA) implementation☆61Updated last year
- ARC gym: a data generation framework for the Abstraction & Reasoning Corpus☆24Updated last week
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆295Updated 2 weeks ago
- An environment for learning formal mathematical reasoning from scratch☆70Updated last year
- Neural Networks and the Chomsky Hierarchy☆211Updated last year
- The Energy Transformer block, in JAX☆62Updated last year
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆53Updated 2 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆137Updated last year
- Python notebooks for a tutorial on neurosymbolic programming☆77Updated last year
- Implementation/simulation of the predictive forward-forward credit assignment algorithm for training neurobiologically-plausible recurren…☆63Updated 2 years ago
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆106Updated 2 weeks ago
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated last year
- A domain-specific probabilistic programming language for modeling and inference with language models☆137Updated 7 months ago
- ☆23Updated last year
- Example application of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature Mach…☆28Updated 2 months ago
- Codebase for Neuro-Symbolic Continual Learning.☆23Updated 2 years ago
- ☆213Updated 2 years ago
- ☆12Updated 3 months ago
- Notebooks accompanying Anthropic's "Toy Models of Superposition" paper☆130Updated 3 years ago
- ☆53Updated last year
- ☆30Updated 2 years ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆43Updated 5 months ago
- Domain Specific Language for the Abstraction and Reasoning Corpus☆313Updated last year
- My writings about ARC (Abstraction and Reasoning Corpus)☆86Updated last month