Measure Transformer Semantics for Bayesian Machine Learning

The Bayesian approach to machine learning amounts to computing posterior distributions of random variables from a probabilistic model of how the variables are related (that is, a prior distribution ...

[1]  Chung-chieh Shan,et al.  Embedded Probabilistic Programming , 2009, DSL.

[2]  Martín Abadi,et al.  Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)* , 2001, Journal of Cryptology.

[3]  Keith Bonawitz,et al.  Composable probabilistic inference with BLAISE , 2008 .

[4]  Alexey Radul,et al.  Report on the probabilistic language scheme , 2007, DLS '07.

[5]  Daniel M. Roy,et al.  Noncomputable Conditional Distributions , 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.

[6]  Gavin Lowe,et al.  Quantifying information flow , 2002, Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.

[7]  Avi Pfeffer,et al.  The Design and Implementation of IBAL: A General-Purpose Probabilistic Language , 2005 .

[8]  J. Rosenthal.  A First Look at Rigorous Probability Theory , 2000 .

[9]  Tom Minka,et al.  TrueSkillTM: A Bayesian Skill Rating System , 2006, NIPS.

[10]  Brendan J. Frey,et al.  Factor graphs and the sum-product algorithm , 2001, IEEE Trans. Inf. Theory.

[11]  David J. C. MacKay,et al.  Information Theory, Inference, and Learning Algorithms , 2004, IEEE Transactions on Information Theory.

[12]  Alexander G. Gray,et al.  A type theory for probability density functions , 2012, POPL '12.

[13]  C. Robert,et al.  Bayesian Modeling Using WinBUGS , 2009 .

[14]  Annabelle McIver,et al.  Abstraction, Refinement And Proof For Probabilistic Systems (Monographs in Computer Science) , 2004 .

[15]  Sofiène Tahar,et al.  On the Formalization of the Lebesgue Integration Theory in HOL , 2010, ITP.

[16]  Joshua B. Tenenbaum,et al.  Church: a language for generative models , 2008, UAI.

[17]  Benjamin C. Pierce,et al.  Distance makes the types grow stronger: a calculus for differential privacy , 2010, ICFP '10.

[18]  Joe Hurd,et al.  Formal verification of probabilistic algorithms , 2003 .

[19]  Dexter Kozen,et al.  Semantics of probabilistic programs , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).

[20]  D. Fraser,et al.  ON THE DEFINITION OF PROBABILITY DENSITIES AND SUFFICIENCY OF IWE LIKELMOOD MAP , 1995 .

[21]  Walter R. Gilks,et al.  A Language and Program for Complex Bayesian Modelling , 1994 .

[22]  David A. McAllester,et al.  Effective Bayesian Inference for Stochastic Programs , 1997, AAAI/IAAI.

[23]  Norman Ramsey,et al.  Stochastic lambda calculus and monads of probability distributions , 2002, POPL '02.

[24]  Sebastian Thrun,et al.  A probabilistic language based upon sampling functions , 2005, POPL '05.

[25]  X. Jin.  Factor graphs and the Sum-Product Algorithm , 2002 .

[26]  Annabelle McIver,et al.  Abstraction, Refinement and Proof for Probabilistic Systems , 2004, Monographs in Computer Science.

[27]  Chung-chieh Shan,et al.  Monolingual Probabilistic Programming Using Generalized Coroutines , 2009, UAI.

[28]  Bernd Fischer,et al.  AutoBayes Program Synthesis System Users Manual , 2008 .

[29]  Avi Pfeffer,et al.  IBAL: A Probabilistic Rational Programming Language , 2001, IJCAI.

[30]  Avi Pfeffer,et al.  Practical Probabilistic Programming , 2016, ILP.

[31]  Matthew Richardson,et al.  Markov Logic , 2008, Probabilistic Inductive Logic Programming.

[32]  Martin Erwig,et al.  Functional Pearls: Probabilistic functional programming in Haskell , 2006, J. Funct. Program..

[33]  Benjamin Grégoire,et al.  Formal certification of code-based cryptographic proofs , 2009, POPL '09.

[34]  Frank McSherry,et al.  Privacy integrated queries: an extensible platform for privacy-preserving data analysis , 2009, SIGMOD Conference.

[35]  N. Saheb-Djahromi,et al.  Probabilistic LCF , 1978, International Symposium on Mathematical Foundations of Computer Science.

[36]  Prakash Panangaden,et al.  Labelled Markov Processes , 2009 .

[37]  Christine Paulin-Mohring,et al.  Proofs of randomized algorithms in Coq , 2006, Sci. Comput. Program..

[38]  Thomas P. Minka,et al.  Gates , 2008, NIPS.

[39]  Radha Jagadeesan,et al.  Stochastic processes as concurrent constraint programs , 1999, POPL '99.

[40]  J. Norris.  Appendix: probability and measure , 1997 .

[41]  Marta Z. Kwiatkowska,et al.  Quantitative Analysis With the Probabilistic Model Checker PRISM , 2006, QAPL.

[42]  Christopher Ré,et al.  Probabilistic databases: diamonds in the dirt , 2009, CACM.

[43]  M. Tribus,et al.  Probability theory: the logic of science , 2003 .

[44]  Martín Abadi,et al.  Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption) , 2007, Journal of Cryptology.

[45]  Claudio V. Russo,et al.  A model-learner pattern for bayesian reasoning , 2013, POPL.

[46]  Linda C. van der Gaag,et al.  Probabilistic Graphical Models , 2014, Lecture Notes in Computer Science.

[47]  Tom Minka,et al.  Expectation Propagation for approximate Bayesian inference , 2001, UAI.

[48]  Andrew McCallum,et al.  FACTORIE: Probabilistic Programming via Imperatively Defined Factor Graphs , 2009, NIPS.

[49]  Andrew D. Gordon,et al.  Measure Transformer Semantics for Bayesian Machine Learning , 2011, ESOP.

[50]  C. Jones,et al.  A probabilistic powerdomain of evaluations , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[51]  Stuart J. Russell,et al.  BLOG: Probabilistic Models with Unknown Objects , 2005, IJCAI.

[52]  Yuhong Yang,et al.  Information Theory, Inference, and Learning Algorithms , 2005 .

[53]  Charles M. Bishop,et al.  Variational Message Passing , 2005, J. Mach. Learn. Res..

[54]  Luc De Raedt,et al.  Probabilistic Inductive Logic Programming , 2004, Probabilistic Inductive Logic Programming.

[55]  Joaquin Quiñonero Candela,et al.  Web-Scale Bayesian Click-Through rate Prediction for Sponsored Search Advertising in Microsoft's Bing Search Engine , 2010, ICML.