Alternatives and similar repositories for memo:

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

• genlm / llamppl
  Probabilistic programming with large language models
  ☆116Updated 3 weeks ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆83Updated last month
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆78Updated last year
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆79Updated 10 months ago
• lio-wong / dreamcoder
  ☆65Updated 3 years ago
• ellisk42 / humanlike_fewshot_learning
  ☆28Updated last year
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆104Updated 7 months ago
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆129Updated last week
• ml-research / SLASH
  Scalable Neural-Probabilistic Answer Set Programming
  ☆17Updated 11 months ago
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated 3 weeks ago
• piantado / LOTlib3
  Language of thought library for python 3
  ☆48Updated last year
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆29Updated last year
• benlipkin / decoding
  Composable inference algorithms with LLMs and programmable logic
  ☆67Updated 5 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆63Updated 3 months ago
• gap-packages / sgpdec
  GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
  ☆19Updated last month
• piantado / Fleet
  ☆61Updated 4 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆66Updated 8 months ago
• barakeel / oeis-synthesis
  ☆23Updated last month
• keyonvafa / world-model-evaluation
  ☆55Updated 5 months ago
• ilaspltd / ILASP-releases
  ☆37Updated 5 months ago
• probsys / AutoGP.jl
  Automated Bayesian model discovery for time series data
  ☆72Updated 2 months ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆148Updated last month
• gpoesia / minimo
  Learning Formal Mathematics from Intrinsic Motivation
  ☆27Updated last month
• Tractables / pyjuice
  Scalable training and inference for Probabilistic Circuits
  ☆60Updated this week
• aswinpaul / dpefe_2023
  On efficient computation in active inference
  ☆17Updated 11 months ago
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆25Updated this week
• google-research / crossbeam
  ☆43Updated 2 years ago
• genjax-dev / programmable-vi-pldi-2024
  Probabilistic programming with programmable variational inference.
  ☆20Updated 10 months ago
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆106Updated 6 months ago
• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆92Updated 6 months ago