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 2650 of 273 papers

TitleStatusHype
Inferring Capabilities from Task Performance with Bayesian Triangulation0
Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming0
From Probabilistic Programming to Complexity-based Programming0
Scaling Integer Arithmetic in Probabilistic ProgramsCode1
Towards an architectural framework for intelligent virtual agents using probabilistic programming0
From Word Models to World Models: Translating from Natural Language to the Probabilistic Language of ThoughtCode2
A Heavy-Tailed Algebra for Probabilistic Programming0
Scalable Neural-Probabilistic Answer Set ProgrammingCode1
Push: Concurrent Probabilistic Programming for Bayesian Deep LearningCode0
Bayesian Calibration of MEMS AccelerometersCode0
Automating Model Comparison in Factor GraphsCode0
Sequential Monte Carlo Steering of Large Language Models using Probabilistic ProgramsCode1
Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming ApproachCode1
String Diagrams with Factorized Densities0
Dimensionality Reduction as Probabilistic Inference0
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 proving0
Neural Probabilistic Logic Programming in Discrete-Continuous Domains0
Declarative Probabilistic Logic Programming in Discrete-Continuous Domains0
ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs0
Incorporating Expert Opinion on Observable Quantities into Statistical Models -- A General Framework0
Automatically Marginalized MCMC in Probabilistic ProgrammingCode0
Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing0
TreeFlow: probabilistic programming and automatic differentiation for phylogeneticsCode1
Differentiable Quantum Programming with Unbounded LoopsCode0
Show:102550
← PrevPage 2 of 11Next →

No leaderboard results yet.