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
  ☆114Updated 2 weeks 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
• harmonic-ai / datasets
  Harmonic Datasets
  ☆38Updated 9 months ago
• Silent-Zebra / twisted-smc-lm
  ☆28Updated last month
• yashbonde / rasp
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆52Updated 3 years ago
• ellisk42 / humanlike_fewshot_learning
  ☆28Updated last year
• mechanistic-interpretability-grokking / progress-measures-paper
  ☆64Updated 2 years ago
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆37Updated 2 years ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆36Updated last year
• benlipkin / decoding
  Composable inference algorithms with LLMs and programmable logic
  ☆68Updated 5 months ago
• justinchiu / openlogprobs
  Extract full next-token probabilities via language model APIs
  ☆242Updated last year
• berlino / seq_icl
  ☆51Updated 11 months ago
• GFNOrg / gfn-lm-tuning
  ☆175Updated last year
• abhishekpanigrahi1996 / transformer_in_transformer
  ☆45Updated last year
• mcleish7 / arithmetic
  Code to reproduce "Transformers Can Do Arithmetic with the Right Embeddings", McLeish et al (NeurIPS 2024)
  ☆189Updated 11 months ago
• princeton-nlp / USACO
  Can Language Models Solve Olympiad Programming?
  ☆116Updated 3 months ago
• shunzh / Code-AI-Tree-Search
  ☆115Updated 9 months ago
• KihoPark / LLM_Categorical_Hierarchical_Representations
  ☆91Updated 2 months ago
• benlipkin / probsem
  Probabilistic LLM evaluations. [CogSci2023; ACL2023]
  ☆73Updated 9 months ago
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆73Updated 9 months ago
• JoshEngels / MultiDimensionalFeatures
  Code for reproducing our paper "Not All Language Model Features Are Linear"
  ☆73Updated 5 months ago
• ConsequentAI / fneval
  Functional Benchmarks and the Reasoning Gap
  ☆85Updated 7 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆66Updated 8 months ago
• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆92Updated 5 months ago
• gpoesia / certified-reasoning
  Certified Reasoning with Language Models
  ☆31Updated last year
• asaparov / prontoqa
  Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.
  ☆144Updated 6 months ago
• EleutherAI / elk-generalization
  Investigating the generalization behavior of LM probes trained to predict truth labels: (1) from one annotator to another, and (2) from e…
  ☆26Updated 11 months ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆147Updated 3 weeks ago
• google-research / cascades
  Python library which enables complex compositions of language models such as scratchpads, chain of thought, tool use, selection-inference…
  ☆207Updated 3 months ago
• wesg52 / universal-neurons
  Universal Neurons in GPT2 Language Models
  ☆28Updated 11 months ago