Alternatives and similar repositories for dreamcoder

Users that are interested in dreamcoder are comparing it to the libraries listed below

• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆86Updated 2 years ago
• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆94Updated 6 months ago
• google-research / crossbeam
  ☆43Updated 2 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆67Updated 9 months ago
• ellisk42 / humanlike_fewshot_learning
  ☆28Updated last year
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆78Updated this week
• genlm / llamppl
  Probabilistic programming with large language models
  ☆115Updated last month
• clement-bonnet / lpn
  Latent Program Network (from the "Searching Latent Program Spaces" paper)
  ☆84Updated 2 months ago
• khalil-research / ARGA-AAAI23
  Abstract Reasoning with Graph Abstractions (ARGA) implementation
  ☆61Updated 10 months ago
• IBM / neuro-vector-symbolic-architectures
  PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…
  ☆92Updated last year
• mxbi / dreamcoder-arc
  Solving the Abstraction & Reasoning Corpus with DreamCoder
  ☆46Updated 8 months ago
• AllanYangZhou / universal_neural_functional
  ☆51Updated last year
• louiskirsch / vsml-neurips2021
  Code for "Meta Learning Backpropagation And Improving It" @ NeurIPS 2021 https://arxiv.org/abs/2012.14905
  ☆32Updated 3 years ago
• xu3kev / BARC
  Bootstrapping ARC
  ☆123Updated 6 months ago
• piantado / LOTlib3
  Language of thought library for python 3
  ☆49Updated last year
• flxsosa / ProgramSearch
  A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Jo…
  ☆38Updated 5 years ago
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆29Updated last year
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated last month
• neoneye / arc-notes
  My writings about ARC (Abstraction and Reasoning Corpus)
  ☆78Updated this week
• bhoov / energy-transformer-jax
  The Energy Transformer block, in JAX
  ☆56Updated last year
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆74Updated 10 months ago
• enajx / HyperNCA
  ☆39Updated 3 years ago
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆130Updated last month
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆25Updated 2 weeks ago
• RichardEvans / apperception
  ☆79Updated 4 years ago
• SimonOuellette35 / ARC_gym
  ARC gym: a data generation framework for the Abstraction & Reasoning Corpus
  ☆22Updated 2 weeks ago
• esennesh / dcpc_paper
  ☆12Updated 3 weeks ago
• thebuckleylab / jpc
  Flexible Inference for Predictive Coding Networks in JAX.
  ☆45Updated this week
• nacloos / baba-is-ai
  ☆37Updated 8 months ago
• luchris429 / JaxLife
  An Open-Ended Agentic Simulator
  ☆51Updated 9 months ago