A domain-specific probabilistic programming language for modeling and inference with language models
☆143Apr 29, 2025Updated 10 months ago
Alternatives and similar repositories for LLaMPPL
Users that are interested in LLaMPPL are comparing it to the libraries listed below
Sorting:
- Probabilistic programming with large language models☆164Nov 18, 2025Updated 4 months ago
- ☆12Apr 17, 2025Updated 11 months ago
- Fork of Enzyme to work on Reverse-Mode Differentiation at the MLIR-level.☆11Apr 23, 2023Updated 2 years ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆31Feb 26, 2024Updated 2 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Jan 28, 2021Updated 5 years ago
- Online inference on reactive probabilistic models, with SMC and symbolic methods☆16Jun 7, 2023Updated 2 years ago
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated last year
- A scalable abstraction learning library☆85Sep 10, 2025Updated 6 months ago
- Certified Reasoning with Language Models☆31Dec 6, 2023Updated 2 years ago
- An experimental language for causal reasoning☆257Dec 3, 2025Updated 3 months ago
- [ICLR 2024] COLLIE: Systematic Construction of Constrained Text Generation Tasks☆60Aug 2, 2023Updated 2 years ago
- Code for co-training large language models (e.g. T0) with smaller ones (e.g. BERT) to boost few-shot performance☆17Sep 23, 2022Updated 3 years ago
- An HMC/NUTS implementation in Aesara☆31Jun 22, 2023Updated 2 years ago
- Tools for an Aesara-based PPL.☆67Oct 28, 2024Updated last year
- Variational Reinforcement Learning☆17Jul 25, 2024Updated last year
- Controlled text generation with programmable constraints☆179Updated this week
- Automated SMC with Probabilistic Program Proposals, for the Gen PPL.☆23Oct 31, 2023Updated 2 years ago
- AeMCMC is a Python library that automates the construction of samplers for Aesara graphs representing statistical models.☆39Oct 23, 2023Updated 2 years ago
- A strongly typed Python DSL for developing message passing multi agent systems☆53Apr 9, 2024Updated last year
- Conditional Theorem Proving☆54Apr 30, 2021Updated 4 years ago
- ☆217Jul 31, 2023Updated 2 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- Estimating Gradients for Discrete Random Variables by Sampling without Replacement☆40Feb 14, 2020Updated 6 years ago
- An interactive tool for analyzing, executing, and improving dynamic programming algorithms.☆20Jan 30, 2026Updated last month
- Codes and files for the paper Are Emergent Abilities in Large Language Models just In-Context Learning☆33Jan 9, 2025Updated last year
- Probe how GPT-n performs on statutory reasoning☆10Sep 17, 2024Updated last year
- ☆14Jan 10, 2024Updated 2 years ago
- Automatically convert Julia methods to Gen functions.☆48Jun 10, 2021Updated 4 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- TART: A plug-and-play Transformer module for task-agnostic reasoning☆202Jun 22, 2023Updated 2 years ago
- Python library which enables complex compositions of language models such as scratchpads, chain of thought, tool use, selection-inference…☆217Mar 7, 2026Updated 2 weeks ago
- ☆33Mar 27, 2025Updated 11 months ago
- Benchmark structured generation libraries☆31Oct 25, 2024Updated last year
- ☆14Feb 1, 2024Updated 2 years ago
- An experiment to see if chatgpt can improve the output of the stanford alpaca dataset☆12Mar 29, 2023Updated 2 years ago
- A probabilistic programming language that combines automatic differentiation, automatic marginalization, and automatic conditioning withi…☆121Jan 31, 2025Updated last year
- Sampling with Blackjax on Aesara☆11Mar 10, 2023Updated 3 years ago
- Probabilistic inference for models of behaviour☆10Mar 5, 2026Updated 2 weeks ago
- ☆556Feb 5, 2024Updated 2 years ago