Alternatives and similar repositories for LLaMPPL

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

• genlm / llamppl
  Probabilistic programming with large language models
  ☆139Updated 2 months ago
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆79Updated last year
• google-research / cascades
  Python library which enables complex compositions of language models such as scratchpads, chain of thought, tool use, selection-inference…
  ☆211Updated 4 months ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆39Updated last year
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆93Updated 2 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆72Updated 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
• mechanistic-interpretability-grokking / progress-measures-paper
  ☆69Updated 2 years ago
• justinchiu / openlogprobs
  Extract full next-token probabilities via language model APIs
  ☆247Updated last year
• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆103Updated 11 months ago
• gabegrand / world-models
  ☆209Updated 2 years ago
• google-deepmind / neural_networks_chomsky_hierarchy
  Neural Networks and the Chomsky Hierarchy
  ☆209Updated last year
• benlipkin / probsem
  Probabilistic LLM evaluations. [CogSci2023; ACL2023]
  ☆72Updated last year
• harmonic-ai / datasets
  Harmonic Datasets
  ☆50Updated last year
• likenneth / othello_world
  Emergent world representations: Exploring a sequence model trained on a synthetic task
  ☆191Updated 2 years ago
• princeton-nlp / TransformerPrograms
  [NeurIPS 2023] Learning Transformer Programs
  ☆162Updated last year
• EdinburghNLP / torch-adaptive-imle
  ☆35Updated 10 months ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆81Updated 3 weeks ago
• yashbonde / rasp
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆58Updated 4 years ago
• Silent-Zebra / twisted-smc-lm
  ☆31Updated 6 months ago
• benlipkin / decoding
  Composable inference algorithms with LLMs and programmable logic
  ☆69Updated 10 months ago
• NohTow / PPL-MCTS
  Repository for the code of the "PPL-MCTS: Constrained Textual Generation Through Discriminator-Guided Decoding" paper, NAACL'22
  ☆66Updated 2 years ago
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆177Updated last year
• lio-wong / dreamcoder
  ☆72Updated 3 years ago
• mcleish7 / arithmetic
  Code to reproduce "Transformers Can Do Arithmetic with the Right Embeddings", McLeish et al (NeurIPS 2024)
  ☆193Updated last year
• srush / raspy
  An interactive exploration of Transformer programming.
  ☆269Updated last year
• EleutherAI / improved-t5
  Experiments for efforts to train a new and improved t5
  ☆76Updated last year
• keyonvafa / world-model-evaluation
  ☆65Updated 10 months ago
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated last month
• aypan17 / machiavelli
  ☆138Updated 2 months ago