Matches in SemOpenAlex for { <https://semopenalex.org/work/W2980375914> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2980375914 abstract "We study the first-order probabilistic programming language introduced by Staton et al. (2016), but with an additional language construct, $mathbf{stat}$, that, like the fixpoint operator of Atkinson et al. (2018), converts the description of the Markov kernel of an ergodic Markov chain into a sample from its unique stationary distribution. Up to minor changes in how certain error conditions are handled, we show that $mathbf{norm}$ and $mathbf{score}$ are eliminable from the extended language, in the sense of Felleisen (1991). We do so by giving an explicit program transformation and proof of correctness. In fact, our program transformation implements a Markov chain Monte Carlo algorithm, in the spirit of the Trace-MH algorithm of Wingate et al. (2011) and Goodman et al. (2008), but less sophisticated to enable analysis. We then explore the problem of approximately implementing the semantics of the language with potentially nested $mathbf{stat}$ expressions, in a language without $mathbf{stat}$. For a single $mathbf{stat}$ term, the error introduced by the finite unrolling proposed by Atkinson et al. (2018) vanishes only asymptotically. In the general case, no guarantees exist. Under uniform ergodicity assumptions, we are able to give quantitative error bounds and convergence results for the approximate implementation of the extended first-order language." @default.
- W2980375914 created "2019-10-25" @default.
- W2980375914 creator A5028179585 @default.
- W2980375914 creator A5042384857 @default.
- W2980375914 date "2019-09-16" @default.
- W2980375914 modified "2023-09-27" @default.
- W2980375914 title "Approximations in Probabilistic Programs" @default.
- W2980375914 cites W1890754682 @default.
- W2980375914 cites W2040950981 @default.
- W2980375914 cites W2102222848 @default.
- W2980375914 cites W2114964853 @default.
- W2980375914 cites W2185558310 @default.
- W2980375914 cites W2206718322 @default.
- W2980375914 cites W2577537660 @default.
- W2980375914 cites W2595803793 @default.
- W2980375914 cites W2605906613 @default.
- W2980375914 cites W2767781532 @default.
- W2980375914 cites W2802998344 @default.
- W2980375914 cites W2963960677 @default.
- W2980375914 cites W2964321317 @default.
- W2980375914 cites W3125832933 @default.
- W2980375914 cites W2271374481 @default.
- W2980375914 hasPublicationYear "2019" @default.
- W2980375914 type Work @default.
- W2980375914 sameAs 2980375914 @default.
- W2980375914 citedByCount "0" @default.
- W2980375914 crossrefType "posted-content" @default.
- W2980375914 hasAuthorship W2980375914A5028179585 @default.
- W2980375914 hasAuthorship W2980375914A5042384857 @default.
- W2980375914 hasConcept C105795698 @default.
- W2980375914 hasConcept C11413529 @default.
- W2980375914 hasConcept C118615104 @default.
- W2980375914 hasConcept C122044880 @default.
- W2980375914 hasConcept C202444582 @default.
- W2980375914 hasConcept C28826006 @default.
- W2980375914 hasConcept C33923547 @default.
- W2980375914 hasConcept C41008148 @default.
- W2980375914 hasConcept C98763669 @default.
- W2980375914 hasConceptScore W2980375914C105795698 @default.
- W2980375914 hasConceptScore W2980375914C11413529 @default.
- W2980375914 hasConceptScore W2980375914C118615104 @default.
- W2980375914 hasConceptScore W2980375914C122044880 @default.
- W2980375914 hasConceptScore W2980375914C202444582 @default.
- W2980375914 hasConceptScore W2980375914C28826006 @default.
- W2980375914 hasConceptScore W2980375914C33923547 @default.
- W2980375914 hasConceptScore W2980375914C41008148 @default.
- W2980375914 hasConceptScore W2980375914C98763669 @default.
- W2980375914 hasLocation W29803759141 @default.
- W2980375914 hasOpenAccess W2980375914 @default.
- W2980375914 hasPrimaryLocation W29803759141 @default.
- W2980375914 hasRelatedWork W1497670448 @default.
- W2980375914 hasRelatedWork W1556799522 @default.
- W2980375914 hasRelatedWork W1591623012 @default.
- W2980375914 hasRelatedWork W1791348790 @default.
- W2980375914 hasRelatedWork W1892397232 @default.
- W2980375914 hasRelatedWork W2001919784 @default.
- W2980375914 hasRelatedWork W2012644590 @default.
- W2980375914 hasRelatedWork W2069675207 @default.
- W2980375914 hasRelatedWork W2133976022 @default.
- W2980375914 hasRelatedWork W2184410169 @default.
- W2980375914 hasRelatedWork W2257918352 @default.
- W2980375914 hasRelatedWork W2912670129 @default.
- W2980375914 hasRelatedWork W2950373361 @default.
- W2980375914 hasRelatedWork W2953738224 @default.
- W2980375914 hasRelatedWork W2989261437 @default.
- W2980375914 hasRelatedWork W3033339947 @default.
- W2980375914 hasRelatedWork W3043052589 @default.
- W2980375914 hasRelatedWork W57094165 @default.
- W2980375914 hasRelatedWork W77365709 @default.
- W2980375914 hasRelatedWork W953682703 @default.
- W2980375914 isParatext "false" @default.
- W2980375914 isRetracted "false" @default.
- W2980375914 magId "2980375914" @default.
- W2980375914 workType "article" @default.