IBM / neuro-vector-symbolic-architectures
PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature Machine Intelligence 2023.
☆85Updated last year
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
- Materials for ConceptARC paper☆82Updated 2 months ago
- Language-annotated Abstraction and Reasoning Corpus☆82Updated last year
- Learning Universal Predictors☆71Updated 5 months ago
- Example application of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature Mach…☆21Updated last year
- Abstract Reasoning with Graph Abstractions (ARGA) implementation☆60Updated 6 months ago
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated 7 months ago
- ☆56Updated 2 years ago
- NGC-Learn: Neurobiological Learning and Biomimetic Systems Simulation in Python☆127Updated last month
- An environment for learning formal mathematical reasoning from scratch☆58Updated 5 months ago
- A scalable abstraction learning library☆75Updated last year
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆42Updated last month
- My writings about ARC (Abstraction and Reasoning Corpus)☆64Updated last week
- ARC gym: a data generation framework for the Abstraction & Reasoning Corpus☆18Updated 3 weeks ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆40Updated last year
- Neural Networks and the Chomsky Hierarchy☆192Updated 9 months ago
- Domain Specific Language for the Abstraction and Reasoning Corpus☆232Updated 3 months ago
- Python notebooks for a tutorial on neurosymbolic programming☆64Updated 9 months ago
- A programming language for formal/informal computation.☆41Updated 7 months ago
- The history files when recording human interaction while solving ARC tasks☆96Updated last week
- ☆25Updated last year
- ☆73Updated 3 years ago
- ☆37Updated 2 years ago
- Solving the Abstraction & Reasoning Corpus with DreamCoder☆39Updated 3 months ago
- ☆9Updated this week
- ☆21Updated 9 months ago
- The Energy Transformer block, in JAX☆54Updated last year
- A domain-specific probabilistic programming language for modeling and inference with language models☆113Updated last year
- Code for "Meta Learning Backpropagation And Improving It" @ NeurIPS 2021 https://arxiv.org/abs/2012.14905☆31Updated 3 years ago
- Implementation/simulation of the predictive forward-forward credit assignment algorithm for training neurobiologically-plausible recurren…☆55Updated last year
- Code for 1st place solution to Kaggle's Abstraction and Reasoning Challenge☆152Updated 4 years ago