khalil-research / ARGA-AAAI23Links
Abstract Reasoning with Graph Abstractions (ARGA) implementation
☆61Updated last year
Alternatives and similar repositories for ARGA-AAAI23
Users that are interested in ARGA-AAAI23 are comparing it to the libraries listed below
Sorting:
- Language-annotated Abstraction and Reasoning Corpus☆98Updated 2 years ago
- ☆23Updated last year
- Materials for ConceptARC paper☆111Updated last year
- Solving the Abstraction & Reasoning Corpus with DreamCoder☆57Updated last year
- Code for 1st place solution to Kaggle's Abstraction and Reasoning Challenge☆163Updated 6 months ago
- ARC gym: a data generation framework for the Abstraction & Reasoning Corpus☆24Updated last week
- ☆35Updated last year
- Domain Specific Language for the Abstraction and Reasoning Corpus☆316Updated last year
- A Gymnasium-based Environment of the Abstraction and Reasoning Corpus (ARC)☆69Updated last year
- Multiple datasets for ARC (Abstraction and Reasoning Corpus)☆85Updated 9 months ago
- ☆32Updated 2 years ago
- ☆29Updated 5 months ago
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆107Updated last month
- ☆74Updated 3 years ago
- Bootstrapping ARC☆153Updated last year
- ☆31Updated 10 months ago
- ☆30Updated last year
- Learning Universal Predictors☆81Updated last year
- ☆46Updated 3 years ago
- Tools for working with the Abstraction & Reasoning Corpus☆214Updated 4 months ago
- Reverse Engineering the Abstraction and Reasoning Corpus☆330Updated 10 months ago
- An MDL-based approach to the Abstraction and Reasoning Corpus (ARC) challenge☆24Updated 5 months ago
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆100Updated 4 months ago
- Scaling scaling laws with board games.☆53Updated 2 years ago
- ARLC, a probabilistic abductive reasoner for solving Raven's progressive matrices.☆20Updated 4 months ago
- An environment for learning formal mathematical reasoning from scratch☆72Updated last year
- ☆30Updated 2 years ago
- Sparse and discrete interpretability tool for neural networks☆64Updated last year
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆55Updated 4 months ago
- ☆213Updated 2 weeks ago