Church

Software / App

A probabilistic programming language developed in the speaker's group, built on the lambda calculus or Lisp, demonstrating a turing-complete framework for probability models.

Mentioned in 1 video

Videos Mentioning Church

MIT AGI: Building machines that see, learn, and think like people (Josh Tenenbaum)

MIT AGI: Building machines that see, learn, and think like people (Josh Tenenbaum)

Lex Fridman

A probabilistic programming language developed in the speaker's group, built on the lambda calculus or Lisp, demonstrating a turing-complete framework for probability models.