Fast and correct gradient-based optimisation for probabilistic programming via smoothing

DOI10.1007/978-3-031-30044-8_18zbMath1541.68094MaRDI QIDQ6535252

Basim Khajwal, Dominik Wagner, Chih-Hao Luke Ong

Publication date: 24 November 2023

zbMATH Keywords

type systemsprobabilistic programmingvariational inferencevalue semanticsreparameterisation gradient

Mathematics Subject Classification ID

Applications of mathematical programming (90C90) Stochastic programming (90C15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Fast and correct gradient-based optimisation for probabilistic programming via smoothing