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
Nonparametric Involutive Markov Chain Monte CarloCode1
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
Language Model CascadesCode2
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
Higher-Order Generalization Bounds: Learning Deep Probabilistic Programs via PAC-Bayes Objectives—0
A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems—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
3DP3: 3D Scene Perception via Probabilistic ProgrammingCode1
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
Unifying AI Algorithms with Probabilistic Programming using Implicitly Defined Representations—0
SMProbLog: Stable Model Semantics in ProbLog and its Applications in Argumentation—0
EinSteinVI: General and Integrated Stein Variational Inference—0
Gaussian Processes to speed up MCMC with automatic exploratory-exploitation effect—0
Proceedings 37th International Conference on Logic Programming (Technical Communications)—0
Addressing the IEEE AV Test Challenge with Scenic and VerifAI—0
Bob and Alice Go to a Bar: Reasoning About Future With Probabilistic Programs—0
Pixyz: a Python library for developing deep generative models—0
Unifying incidence and prevalence under a time-varying general branching processCode0
Supervised Bayesian Specification Inference from Demonstrations—0
Nonparametric Hamiltonian Monte CarloCode1
Expectation Programming: Adapting Probabilistic Programming Systems to Estimate Expectations Efficiently—0
How To Train Your Program: a Probabilistic Programming Pattern for Bayesian Learning From Data—0
Probabilistic Programming Bots in Intuitive Physics Game Play—0
D3p -- A Python Package for Differentially-Private Probabilistic ProgrammingCode1
RecSim NG: Toward Principled Uncertainty Modeling for Recommender EcosystemsCode1
Meta-Learning an Inference Algorithm for Probabilistic Programs—0
Compositional Semantics for Probabilistic Programs with Exact ConditioningCode0
Show:102550
← PrevPage 2 of 6Next →

No leaderboard results yet.