Probabilistic programming with programmable variational inference.
☆22Jun 22, 2024Updated last year
Alternatives and similar repositories for programmable-vi-pldi-2024
Users that are interested in programmable-vi-pldi-2024 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automated SMC with Probabilistic Program Proposals, for the Gen PPL.☆23Oct 31, 2023Updated 2 years ago
- An Imperishable Wonderland of Infinite Fun☆13Apr 17, 2024Updated last year
- Curated list of papers and resources related to inverse graphics!☆15Mar 27, 2021Updated 5 years ago
- Inference Combinators in JAX☆52May 17, 2025Updated 10 months ago
- Implicit Differentiable Optimal Control (IDOC) with JAX☆12May 11, 2022Updated 3 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Rejection-minimal, non-reversible, and continuous-time samplers☆12Nov 14, 2025Updated 4 months ago
- LAGr: Label Aligned Graphs for Better Systematic Generalization in Semantic Parsing☆10Jun 1, 2022Updated 3 years ago
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 4 years ago
- CS6868: Concurrent Programming☆35Updated this week
- ☆10Jan 12, 2024Updated 2 years ago
- A library for writing chemical and biological data management systems☆10Oct 24, 2019Updated 6 years ago
- ☆12Jul 28, 2024Updated last year
- An official repository for a VAE tutorial of Probabilistic Modelling and Reasoning - a University of Edinburgh master's course.☆10Jan 2, 2024Updated 2 years ago
- ☆12Jul 6, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆17Jun 17, 2025Updated 9 months ago
- A lightweight Python library for saving simulation results in a standardized, reproducible format..☆34Jan 26, 2026Updated 2 months ago
- Materials for "Multi-property Steering of Large Language Models with Dynamic Activation Composition"☆14Nov 22, 2024Updated last year
- ☆12Aug 29, 2020Updated 5 years ago
- MUBI Addon for Kodi / XBMC☆13Jan 2, 2021Updated 5 years ago
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- ☆20May 24, 2017Updated 8 years ago
- PRODeep: A Platform for Robustness Verification of Deep Neural Networks☆12Nov 11, 2020Updated 5 years ago
- ☆15Aug 15, 2025Updated 7 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Experimental port of ADEV to Julia☆11Nov 12, 2023Updated 2 years ago
- ☆17Feb 16, 2026Updated last month
- A Compiler made for the Decaf Language using Flex, Bison and LLVM IR for generating code dump and interpreting.☆11Nov 30, 2018Updated 7 years ago
- A semi-automated system based on LLM's to generate ontologies from datasets☆24Oct 29, 2024Updated last year
- Repo for the Tutorials of Day1-Day2 of the Nordic Probabilistic AI School 2023☆17Jun 13, 2023Updated 2 years ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 8 months ago
- Julia package for students in Decision Making under Uncertainty☆14Jan 27, 2025Updated last year
- Useful python code snippets.☆14May 26, 2017Updated 8 years ago
- A generic library for linear and non-linear Gaussian smoothing problems. The code leverages JAX and implements several linearization algo…☆13Dec 4, 2024Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated last year
- A Bayesian latent tree model of high-dimensional heterogeneous data☆23Sep 14, 2017Updated 8 years ago
- ☆10Mar 18, 2021Updated 5 years ago
- cfid: R package for identifying counterfactuals.☆11Dec 11, 2025Updated 3 months ago
- Utilized attention incorporated UNet model for conditional image generation using Flow Matching with Conditional Optimal Transport Object…☆13Dec 29, 2023Updated 2 years ago
- ☆12Mar 11, 2026Updated 2 weeks ago
- ☆13Oct 22, 2020Updated 5 years ago