Corpus ID: 1617294

Church: a language for generative models

@inproceedings{Goodman2008ChurchAL,
  title={Church: a language for generative models},
  author={Noah D. Goodman and Vikash K. Mansinghka and D. Roy and Keith Bonawitz and J. Tenenbaum},
  booktitle={UAI},
  year={2008}
}
  • Noah D. Goodman, Vikash K. Mansinghka, +2 authors J. Tenenbaum
  • Published in UAI 2008
  • Computer Science
  • Formal languages for probabilistic modeling enable re-use, modularity, and descriptive clarity, and can foster generic inference techniques. We introduce Church, a universal language for describing stochastic generative processes. Church is based on the Lisp model of lambda calculus, containing a pure Lisp as its deterministic subset. The semantics of Church is defined in terms of evaluation histories and conditional distributions on such histories. Church also includes a novel language… CONTINUE READING
    655 Citations

    Figures and Topics from this paper.

    Reduced Traces and JITing in Church
    • J. Wu
    • Computer Science
    • 2013
    • 4
    Inducing Probabilistic Programs by Bayesian Program Merging
    • 21
    • PDF
    A domain theory for statistical probabilistic programming
    • 27
    • PDF
    Trace types and denotational semantics for sound programmable inference in probabilistic languages
    • 8
    • Highly Influenced
    A lambda-calculus foundation for universal probabilistic programming
    • 57
    • Highly Influenced
    • PDF
    Lightweight Implementations of Probabilistic Programming Languages Via Transformational Compilation
    • 152
    • PDF
    Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support
    • 3
    • Highly Influenced
    • PDF
    Automated learning with a probabilistic programming language: Birch
    • 20
    • PDF

    References

    SHOWING 1-10 OF 26 REFERENCES
    Adaptor Grammars: A Framework for Specifying Compositional Nonparametric Bayesian Models
    • 261
    • PDF
    IBAL: A Probabilistic Rational Programming Language
    • 188
    • PDF
    Markov logic networks
    • 2,572
    • PDF
    PRISM: A Language for Symbolic-Statistical Modeling
    • 228
    • PDF
    Stochastic Logic Programs
    • 321
    • PDF
    Probabilistic models with unknown objects
    • 76
    • PDF
    Revised5 Report on the Algorithmic Language Scheme
    • 559
    • PDF
    Report on the probabilistic language scheme
    • 17
    • PDF