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
  ☆124Updated last month
• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆96Updated 8 months ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆38Updated last year
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆88Updated 2 years ago
• gabegrand / world-models
  ☆206Updated last year
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆77Updated 11 months ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆80Updated this week
• google-research / cascades
  Python library which enables complex compositions of language models such as scratchpads, chain of thought, tool use, selection-inference…
  ☆208Updated last month
• likenneth / othello_world
  Emergent world representations: Exploring a sequence model trained on a synthetic task
  ☆182Updated 2 years ago
• princeton-nlp / TransformerPrograms
  [NeurIPS 2023] Learning Transformer Programs
  ☆161Updated last year
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆71Updated 10 months ago
• harmonic-ai / datasets
  Harmonic Datasets
  ☆40Updated last year
• google-deepmind / neural_networks_chomsky_hierarchy
  Neural Networks and the Chomsky Hierarchy
  ☆207Updated last year
• justinchiu / openlogprobs
  Extract full next-token probabilities via language model APIs
  ☆247Updated 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 / linc
  🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
  ☆70Updated last year
• Silent-Zebra / twisted-smc-lm
  ☆29Updated 3 months ago
• GFNOrg / gfn-lm-tuning
  ☆183Updated last year
• lee-ny / teaching_arithmetic
  ☆83Updated last year
• EdinburghNLP / torch-adaptive-imle
  ☆35Updated 7 months ago
• yashbonde / rasp
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆56Updated 3 years ago
• benlipkin / probsem
  Probabilistic LLM evaluations. [CogSci2023; ACL2023]
  ☆73Updated 11 months ago
• mcleish7 / arithmetic
  Code to reproduce "Transformers Can Do Arithmetic with the Right Embeddings", McLeish et al (NeurIPS 2024)
  ☆190Updated last year
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆38Updated 2 years 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
• keyonvafa / world-model-evaluation
  ☆56Updated 8 months ago
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated 2 weeks ago
• KihoPark / LLM_Categorical_Hierarchical_Representations
  ☆101Updated 5 months ago
• causalNLP / cladder
  We develop benchmarks and analysis tools to evaluate the causal reasoning abilities of LLMs.
  ☆118Updated last year
• mechanistic-interpretability-grokking / progress-measures-paper
  ☆68Updated 2 years ago