Functional programming for modular Bayesian inference
暂无分享,去创建一个
[1] Lawrence M. Murray. Bayesian State-Space Modelling on High-Performance Hardware Using LibBi , 2013, 1306.3277.
[2] Chung-Kil Hur,et al. R2: An Efficient MCMC Sampler for Probabilistic Programs , 2014, AAAI.
[3] David Huard,et al. PyMC: Bayesian Stochastic Modelling in Python. , 2010, Journal of statistical software.
[4] Jiqiang Guo,et al. Stan: A Probabilistic Programming Language. , 2017, Journal of statistical software.
[5] Zoubin Ghahramani,et al. Practical probabilistic programming with monads , 2015, Haskell.
[6] Liang Wang. Owl: A General-Purpose Numerical Library in OCaml , 2017, ArXiv.
[7] Walter R. Gilks,et al. A Language and Program for Complex Bayesian Modelling , 1994 .
[8] Radford M. Neal. MCMC Using Hamiltonian Dynamics , 2011, 1206.1901.
[9] David Tolpin,et al. Probabilistic Programming in Anglican , 2015, ECML/PKDD.
[10] Radford M. Neal. Pattern Recognition and Machine Learning , 2007, Technometrics.
[11] Chung-chieh Shan,et al. Composing Inference Algorithms as Program Transformations , 2016, UAI.
[12] Yura N. Perov,et al. Venture: a higher-order probabilistic programming platform with programmable inference , 2014, ArXiv.
[13] Ohad Kammar,et al. Denotational validation of higher-order Bayesian inference , 2017, Proc. ACM Program. Lang..
[14] Jeremy Yallop,et al. Modular implicits , 2014, ML/OCaml.
[15] Roman Leshchinskiy,et al. Stream fusion: from lists to streams to nothing at all , 2007, ICFP '07.
[16] David Barber,et al. Bayesian reasoning and machine learning , 2012 .
[17] D. Rubin,et al. Maximum likelihood from incomplete data via the EM - algorithm plus discussions on the paper , 1977 .
[18] Daniel M. Roy,et al. Noncomputable Conditional Distributions , 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.
[19] A. Doucet,et al. A Tutorial on Particle Filtering and Smoothing: Fifteen years later , 2008 .
[20] Ohad Kammar,et al. A convenient category for higher-order probability theory , 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
[21] Sean Gerrish,et al. Black Box Variational Inference , 2013, AISTATS.
[22] Avi Pfeffer,et al. Practical Probabilistic Programming , 2016, ILP.
[23] Jacques Carette,et al. Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages , 2007, Journal of Functional Programming.
[24] Joshua B. Tenenbaum,et al. Church: a language for generative models , 2008, UAI.
[25] Noah D. Goodman,et al. Lightweight Implementations of Probabilistic Programming Languages Via Transformational Compilation , 2011, AISTATS.
[26] W. Gilks,et al. Following a moving target—Monte Carlo inference for dynamic Bayesian models , 2001 .
[27] Avi Pfeffer,et al. IBAL: A Probabilistic Rational Programming Language , 2001, IJCAI.
[28] Frank D. Wood,et al. A New Approach to Probabilistic Programming Inference , 2014, AISTATS.
[29] Paul Hudak,et al. Modular Denotational Semantics for Compiler Construction , 1996, ESOP.
[30] David J. C. MacKay,et al. Information Theory, Inference, and Learning Algorithms , 2004, IEEE Transactions on Information Theory.
[31] Dustin Tran,et al. Deep Probabilistic Programming , 2017, ICLR.
[32] Nicolas Chopin,et al. SMC2: an efficient algorithm for sequential analysis of state space models , 2011, 1101.1528.
[33] Noah D. Goodman,et al. C3: Lightweight Incrementalized MCMC for Probabilistic Programs using Continuations and Callsite Caching , 2015, AISTATS.
[34] Manuel M. T. Chakravarty,et al. Accelerating Haskell array codes with multicore GPUs , 2011, DAMP '11.
[35] A. Doucet,et al. Particle Markov chain Monte Carlo methods , 2010 .
[36] Sam Staton,et al. Commutative Semantics for Probabilistic Programming , 2017, ESOP.