SOTAVerified

Probabilistic Programming

Probabilistic programming languages are designed to describe probabilistic models and then perform inference in those models. PPLs are closely related to graphical models and Bayesian networks, but are more expressive and flexible.

( Image credit: Michael Betancourt )

Papers

Showing 126150 of 273 papers

TitleStatusHype
String Diagrams with Factorized Densities0
Struct-MMSB: Mixed Membership Stochastic Blockmodels with Interpretable Structured Priors0
Structured Factored Inference: A Framework for Automated Reasoning in Probabilistic Programming Languages0
Sublinear-Time Approximate MCMC Transitions for Probabilistic Programs0
Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support0
Supervised Bayesian Specification Inference from Demonstrations0
Surrogate Likelihoods for Variational Annealed Importance Sampling0
Survival prediction and risk estimation of Glioma patients using mRNA expressions0
Swift: Compiled Inference for Probabilistic Programming Languages0
Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo0
Tensor Program Optimization with Probabilistic Programs0
Tensor Variable Elimination for Plated Factor Graphs0
TerpreT: A Probabilistic Programming Language for Program Induction0
Testing Probabilistic Circuits0
tfp.mcmc: Modern Markov Chain Monte Carlo Tools Built for Modern Hardware0
The Physics of Text: Ontological Realism in Information Extraction0
The Random Conditional Distribution for Higher-Order Probabilistic Inference0
Towards an architectural framework for intelligent virtual agents using probabilistic programming0
Towards Plug'n Play Task-Level Autonomy for Robotics Using POMDPs and Generative Models0
Transforming Probabilistic Programs for Model Checking0
Transforming Worlds: Automated Involutive MCMC for Open-Universe Probabilistic Models0
Uncertainty Analysis in SPECT Reconstruction based on Probabilistic Programming0
Unifying AI Algorithms with Probabilistic Programming using Implicitly Defined Representations0
Universal Marginaliser for Deep Amortised Inference for Probabilistic Programs0
Using probabilistic programs as proposals0
Show:102550
← PrevPage 6 of 11Next →

No leaderboard results yet.