2021 (modified: 30 Mar 2022)UAI 2021Readers: Everyone
Abstract:We develop operators for construction of proposals in probabilistic programs, which we refer to as inference combinators. Inference combinators define a grammar over importance samplers that compos...