## Probabilistic Programming

### Lightweight Implementations of Probabilistic Programming Languages Via Transformational Compilation (pdf) (bibtex)

:

*Proceedings of the 14th international conference on Artificial Intelligence and Statistics*

#probabilistic programming, #mcmc, #inference

### When are probabilistic programs probably computationally tractable? (pdf) (bibtex)

:

*NIPS Workshop on Monte Carlo Methods for Modern Applications*

#probabilistic programming

### Church: a language for generative models (pdf) (bibtex)

:

*Uncertainty in Artificial Intelligence 2008*

#church, #probabilistic programming, #generative models

### Ping Pong in Church: Productive use of concepts in human probabilistic inference (pdf) (bibtex)

:

*Proceedings of the 34th Annual Conference of the Cognitive Science Society*

#inference, #reasoning, #causality, #language of thought, #probabilistic programming

### Towards common-sense reasoning via conditional simulation: Legacies of Turing in Artificial Intelligence (web) (bibtex)

:

*Turing's Legacy (ASL Lecture Notes in Logic)*

#probabilistic programming, #artificial intelligence, #reasoning, #decision making, #structure learning

### Computable exchangeable sequences have computable de Finetti measures (pdf) (doi) (bibtex)

:

*Computability in Europe (CiE)*

#de finetti, #exchangeability, #computable probability theory, #probabilistic programming, #mutation

### Reasoning about Reasoning by Nested Conditioning: Modeling Theory of Mind with Probabilistic Programs (pdf) (bibtex)

:

*Journal of Cognitive Systems Research*

#theory of mind, #probabilistic programming

### A Dynamic Programming Algorithm for Inference in Recursive Probabilistic Programs (web) (bibtex)

:

*Second Statistical Relational AI workshop at UAI 2012 (StaRAI-12)*

#dynamic programming, #inference, #probabilistic programming

### Inducing Probabilistic Programs by Bayesian Program Merging (web) (bibtex)

:

*Technical Report. arXiv:1110.5667 [cs.AI]*

#probabilistic programming, #program induction

### Nonstandard Interpretations of Probabilistic Programs for Efficient Inference (pdf) (bibtex)

:

*Advances in Neural Information Processing Systems (NIPS) 24*

#probabilistic programming, #inference

### Approximate Bayesian Image Interpretation using Generative Probabilistic Graphics Programs (pdf) (bibtex)

:

*NIPS 2013*

#probabilistic programming, #computational vision, #inverse graphics, #mcmc

### Picture : A Probabilistic Programming Language for Scene Perception (pdf) (doi) (bibtex)

:

*Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition*

#analysis-by-synthesis, #inference, #deep learning, #inverse vision, #3d vision, #probabilistic programming