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
  ☆93Updated 2 years 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…
  ☆94Updated 2 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆72Updated last year
• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆102Updated 10 months ago
• clement-bonnet / lpn
  Latent Program Network (from the "Searching Latent Program Spaces" paper)
  ☆96Updated 6 months ago
• khalil-research / ARGA-AAAI23
  Abstract Reasoning with Graph Abstractions (ARGA) implementation
  ☆61Updated last year
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆79Updated last year
• google-research / crossbeam
  ☆43Updated 2 years ago
• michaelhodel / arc-dsl
  Domain Specific Language for the Abstraction and Reasoning Corpus
  ☆295Updated 11 months ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆81Updated this week
• SimonOuellette35 / ARC_gym
  ARC gym: a data generation framework for the Abstraction & Reasoning Corpus
  ☆23Updated 3 weeks ago
• piantado / LOTlib3
  Language of thought library for python 3
  ☆50Updated last year
• bhoov / energy-transformer-jax
  The Energy Transformer block, in JAX
  ☆59Updated last year
• genlm / llamppl
  Probabilistic programming with large language models
  ☆135Updated last month
• thebuckleylab / jpc
  Flexible Inference for Predictive Coding Networks in JAX.
  ☆53Updated this week
• AllanYangZhou / universal_neural_functional
  ☆52Updated last year
• neoneye / ARC-Interactive
  Enjoy puzzle-solving directly in your browser.
  ☆31Updated 4 months ago
• neurosymbolic-learning / Neurosymbolic_Tutorial
  Python notebooks for a tutorial on neurosymbolic programming
  ☆77Updated last year
• top-quarks / ARC-solution
  Code for 1st place solution to Kaggle's Abstraction and Reasoning Challenge
  ☆159Updated 2 months ago
• keyonvafa / world-model-evaluation
  ☆63Updated 10 months ago
• mxbi / dreamcoder-arc
  Solving the Abstraction & Reasoning Corpus with DreamCoder
  ☆52Updated 11 months ago
• RichardEvans / apperception
  ☆80Updated 4 years ago
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆135Updated 4 months ago
• enajx / HyperNCA
  ☆40Updated 3 years ago
• HEmile / neurosymbolic-diffusion
  We integrate discrete diffusion models with neurosymbolic predictors for scalable and calibrated learning and reasoning
  ☆40Updated 3 months ago
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆26Updated last month
• gpoesia / minimo
  Learning Formal Mathematics from Intrinsic Motivation
  ☆36Updated 2 months ago
• kach / memo
  A domain-specific probabilistic programming language for reasoning about reasoning
  ☆100Updated last month
• KindXiaoming / BIMT
  Brain-Inspired Modular Training (BIMT), a method for making neural networks more modular and interpretable.
  ☆173Updated 2 years ago
• iliao2345 / CompressARC
  ☆186Updated last month