Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints

19 January 2016

Papers citing "Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints"

7 / 7 papers shown

Title
Declarative Probabilistic Logic Programming in Discrete-Continuous Domains Pedro Zuidberg Dos Martires Luc de Raedt Angelika Kimmig 29 4 0 21 Feb 2023
Nonparametric Involutive Markov Chain Monte Carlo Carol Mak Fabian Zaiser C. Ong 27 1 0 02 Nov 2022
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference Wonyeol Lee Xavier Rival Hongseok Yang 24 9 0 22 Aug 2022
Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism A. Benveniste Jean-Baptiste Raclet TPM 24 1 0 19 Jan 2022
Finding the maximum-a-posteriori behaviour of agents in an agent-based model Daniel Tang 26 1 0 05 May 2020
The Random Conditional Distribution for Higher-Order Probabilistic Inference Zenna Tavares Xin Zhang Edgar Minaysan Javier Burroni Rajesh Ranganath Armando Solar-Lezama 19 9 0 25 Mar 2019
The Logical Essentials of Bayesian Reasoning B. Jacobs Fabio Zanasi 13 39 0 03 Apr 2018