CatherineWong / dreamcoder
☆58Updated 2 years ago
Alternatives and similar repositories for dreamcoder:
Users that are interested in dreamcoder are comparing it to the libraries listed below
- Language-annotated Abstraction and Reasoning Corpus☆82Updated last year
- Materials for ConceptARC paper☆87Updated 3 months ago
- ☆43Updated last year
- An environment for learning formal mathematical reasoning from scratch☆61Updated 5 months ago
- Probabilistic programming with HuggingFace language models☆95Updated 2 weeks ago
- Bootstrapping ARC☆100Updated 2 months ago
- Abstract Reasoning with Graph Abstractions (ARGA) implementation☆60Updated 7 months ago
- ☆25Updated last year
- A scalable abstraction learning library☆75Updated last year
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆27Updated 11 months ago
- Code for "Meta Learning Backpropagation And Improving It" @ NeurIPS 2021 https://arxiv.org/abs/2012.14905☆31Updated 3 years ago
- The Energy Transformer block, in JAX☆55Updated last year
- ☆73Updated 3 years ago
- A programming language for formal/informal computation.☆41Updated this week
- Solving the Abstraction & Reasoning Corpus with DreamCoder☆40Updated 4 months ago
- Language of thought library for python 3☆48Updated last year
- A domain-specific probabilistic programming language for reasoning about reasoning☆57Updated this week
- ☆21Updated 10 months ago
- ☆49Updated last year
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆48Updated 2 months ago
- Mechanistic Interpretability for Transformer Models☆49Updated 2 years ago
- A TinyStories LM with SAEs and transcoders☆11Updated last month
- A package for defining deep learning models using categorical algebraic expressions.☆59Updated 6 months ago
- Cellular Automata Accelerated in JAX (Oral at ICLR 2025).☆81Updated 2 months ago
- Code for Powderworld: A Platform for Understanding Generalization via Rich Task Distributions☆65Updated 5 months ago
- ARC Community Project☆22Updated 6 months ago
- General-purpose program synthesiser☆39Updated 3 months ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆114Updated last year
- unofficial re-implementation of "Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasets"☆71Updated 2 years ago
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆87Updated last year