Le-Gris / h-arcLinks
☆16Updated 3 weeks ago
Alternatives and similar repositories for h-arc
Users that are interested in h-arc are comparing it to the libraries listed below
Sorting:
- ☆34Updated last year
- A Gymnasium-based Environment of the Abstraction and Reasoning Corpus (ARC)☆68Updated last year
- ☆23Updated last year
- Abstract Reasoning with Graph Abstractions (ARGA) implementation☆61Updated last year
- ☆27Updated 2 years ago
- Materials for ConceptARC paper☆100Updated 9 months ago
- Bootstrapping ARC☆143Updated 9 months ago
- ☆29Updated 11 months ago
- ☆30Updated 5 months ago
- Solving the Abstraction & Reasoning Corpus with DreamCoder☆52Updated 11 months ago
- Implementation of SOAR☆42Updated 3 weeks ago
- Language-annotated Abstraction and Reasoning Corpus☆91Updated 2 years ago
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆93Updated 5 months ago
- ARC gym: a data generation framework for the Abstraction & Reasoning Corpus☆22Updated this week
- Evaluation of neuro-symbolic engines☆39Updated last year
- Repository for the paper Stream of Search: Learning to Search in Language☆150Updated 6 months ago
- Multiple datasets for ARC (Abstraction and Reasoning Corpus)☆79Updated 5 months ago
- Harmonic Datasets☆46Updated last year
- slowly building a set of infinite riddle generators for data-hungry methods☆14Updated 2 years ago
- ☆35Updated 8 months ago
- ☆20Updated 6 months ago
- [NeurIPS 2023] Learning Transformer Programs☆163Updated last year
- A domain-specific probabilistic programming language for modeling and inference with language models☆133Updated 4 months ago
- ☆99Updated last year
- ☆30Updated 5 months ago
- Create an AI capable of solving reasoning tasks it has never seen before☆92Updated 8 months ago
- some common Huggingface transformers in maximal update parametrization (µP)☆82Updated 3 years ago
- Q-Probe: A Lightweight Approach to Reward Maximization for Language Models☆41Updated last year
- ARLC, a probabilistic abductive reasoner for solving Raven's progressive matrices.☆18Updated 3 months ago
- An environment for learning formal mathematical reasoning from scratch☆72Updated last year