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

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–100 of 273 papers

TitleStatusHype
Diffusion models for probabilistic programmingCode0
Worst-Case Analysis is Maximum-A-Posteriori Estimation—0
Inferring Capabilities from Task Performance with Bayesian Triangulation—0
Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming—0
From Probabilistic Programming to Complexity-based Programming—0
Towards an architectural framework for intelligent virtual agents using probabilistic programming—0
A Heavy-Tailed Algebra for Probabilistic Programming—0
Push: Concurrent Probabilistic Programming for Bayesian Deep LearningCode0
Bayesian Calibration of MEMS AccelerometersCode0
Automating Model Comparison in Factor GraphsCode0
String Diagrams with Factorized Densities—0
Dimensionality Reduction as Probabilistic Inference—0
Black Box Variational Inference with a Deterministic Objective: Faster, More Accurate, and Even More Black BoxCode0
Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving—0
Neural Probabilistic Logic Programming in Discrete-Continuous Domains—0
ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs—0
Declarative Probabilistic Logic Programming in Discrete-Continuous Domains—0
Incorporating Expert Opinion on Observable Quantities into Statistical Models -- A General Framework—0
Automatically Marginalized MCMC in Probabilistic ProgrammingCode0
Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing—0
Differentiable Quantum Programming with Unbounded LoopsCode0
Ice Core Dating using Probabilistic ProgrammingCode0
Improved Marginal Unbiased Score Expansion (MUSE) via Implicit DifferentiationCode0
Robust leave-one-out cross-validation for high-dimensional Bayesian modelsCode0
Borch: A Deep Universal Probabilistic Programming LanguageCode0
When Bioprocess Engineering Meets Machine Learning: A Survey from the Perspective of Automated Bioprocess Development—0
Learning and Compositionality: a Unification Attempt via Connectionist Probabilistic Programming—0
Multi-Model Probabilistic Programming—0
Proceedings 38th International Conference on Logic Programming—0
Towards Plug'n Play Task-Level Autonomy for Robotics Using POMDPs and Generative Models—0
Tensor Program Optimization with Probabilistic Programs—0
Designing Perceptual Puzzles by Differentiating Probabilistic Programs—0
Program Analysis of Probabilistic Programs—0
Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming—0
A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems—0
Higher-Order Generalization Bounds: Learning Deep Probabilistic Programs via PAC-Bayes Objectives—0
Compartmental Models for COVID-19 and Control via Policy Interventions—0
A Probabilistic Programming Idiom for Active Knowledge Search—0
Weighted Programming—0
Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism—0
Surrogate Likelihoods for Variational Annealed Importance Sampling—0
Simulation Intelligence: Towards a New Generation of Scientific Methods—0
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation—0
Testing Probabilistic Circuits—0
Mapping probability word problems to executable representations—0
A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation—0
flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs—0
LazyPPL: laziness and types in non-parametric probabilistic programs—0
SLASH: Embracing Probabilistic Circuits into Neural Answer Set Programming—0
Detecting and Quantifying Malicious Activity with Simulation-based Inference—0
Show:102550
← PrevPage 2 of 6Next →

No leaderboard results yet.