Papers
From Church Wiki
The following papers are in chronological order. Note that publications in theoretical computer science and mathematical logic and other areas will have alphabetized author lists.
- Church: a language for generative models
Noah D. Goodman, Vikash K. Mansinghka, Daniel M. Roy, Keith Bonawitz, and Joshua B. Tenenbaum.
Proc. Uncertainty in Artificial Intelligence (UAI), 2008.
- Computable exchangeable sequences have computable de Finetti measures
Cameron Freer and Daniel Roy
Proc. Computability in Europe (CiE), 2009. Superceded by Freer and Roy (2011).
- Fragment Grammars: Exploring Computation and Reuse in Language
Timothy J. O'Donnell, Noah D. Goodman, Joshua B. Tenenbaum, 2009.
- Natively Probabilistic Computation
Vikash Mansinghka
Ph.D. Thesis, Massachusetts Institute of Technology, 2009.
MIT/EECS George M. Sprowls Doctoral Dissertation Award
- Posterior distributions are computable from predictive distributions
Cameron Freer and Daniel Roy
Proc. Artificial Intelligence and Statistics (AISTATS), 2010.
- Lightweight Implementations of Probabilistic Programming Languages Via Transformational Compilation
D. Wingate, A. Stuhlmueller, N. D. Goodman.
Proc. Artificial Intelligence and Statistics (AISTATS), 2011.
- Computability, inference and modeling in probabilistic programming
Daniel M. Roy
Ph.D. Thesis, Massachusetts Institute of Technology, 2011.
MIT/EECS George M. Sprowls Doctoral Dissertation Award
- Noncomputable conditional distributions
Nate Ackerman, Cameron Freer, Daniel Roy.
Proc. Logic in Computer Science (LICS), 2011.
- Computable de Finetti measures
Cameron Freer and Daniel Roy
Annals of Pure and Applied Logic, 2011.
- Nonstandard Interpretations of Probabilistic Programs for Efficient Inference
David Wingate, Noah D. Goodman, Andreas Stuhlmüller, and Jeffrey M. Siskind
Proc. Advances in Neural Information Processing Systems (NIPS), 2011.
- Inducing Probabilistic Programs by Bayesian Program Merging
Irvin Hwang, Andreas Stuhlmüller, and Noah D. Goodman
Technical Report, 2011.
Related work
- Cognitive science work incorporating these ideas: Noah D. Goodman's homepage.
- Theoretical computer science work, including computable probability theory. Dan Roy's homepage and Cameron Freer's homepage.
