Alternatives and similar repositories for rasp

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

• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆136Updated 5 months ago
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆79Updated last year
• srush / raspy
  An interactive exploration of Transformer programming.
  ☆270Updated last year
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆93Updated 2 years ago
• genlm / llamppl
  Probabilistic programming with large language models
  ☆139Updated 2 months ago
• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆103Updated 11 months ago
• marin-community / haliax
  Named Tensors for Legible Deep Learning in JAX
  ☆207Updated last week
• MatX-inc / seqax
  seqax = sequence modeling + JAX
  ☆167Updated 2 months ago
• google-deepmind / neural_networks_chomsky_hierarchy
  Neural Networks and the Chomsky Hierarchy
  ☆209Updated last year
• tech-srl / RASP
  An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"
  ☆320Updated last year
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆81Updated last month
• glassroom / heinsen_sequence
  Code implementing "Efficient Parallelization of a Ubiquitious Sequential Computation" (Heinsen, 2023)
  ☆94Updated 10 months ago
• anthropics / toy-models-of-superposition
  Notebooks accompanying Anthropic's "Toy Models of Superposition" paper
  ☆129Updated 3 years ago
• apple / ml-np-rasp
  ☆19Updated last year
• namin / llm-verified-with-monte-carlo-tree-search
  LLM verified with Monte Carlo Tree Search
  ☆281Updated 6 months ago
• neoneye / arc-notes
  My writings about ARC (Abstraction and Reasoning Corpus)
  ☆84Updated last month
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆61Updated last year
• keyonvafa / world-model-evaluation
  ☆65Updated 10 months ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆39Updated last year
• yk / llmvm
  ☆30Updated last year
• justinchiu / openlogprobs
  Extract full next-token probabilities via language model APIs
  ☆247Updated last year
• modula-systems / modula
  🧱 Modula software package
  ☆282Updated last month
• srush / Tensor-Puzzles-Penzai
  ☆21Updated last year
• andyljones / boardlaw
  Scaling scaling laws with board games.
  ☆53Updated 2 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆71Updated last year
• lio-wong / dreamcoder
  ☆72Updated 3 years ago
• google-deepmind / tracr
  ☆546Updated last year
• iliao2345 / CompressARC
  ☆188Updated last month
• aks2203 / easy-to-hard
  Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"
  ☆59Updated 3 years ago
• ssokota / mec
  Code for minimum-entropy coupling.
  ☆32Updated last year