Computable Probability Theory
- π€ Speaker: Daniel Roy (MIT)
- π Date & Time: Tuesday 28 July 2009, 14:00 - 15:00
- π Venue: Engineering Department, CBL Room 438
Abstract
How much of statistics can we automate? At MIT , I’m working as a member of a team to develop a probabilistic programming language, Church, suitable for rigorously and formally specifying probabilistic models and a language implementation, MIT -Church, capable of performing automatic inference. In this talk, I’ll discuss some of the theoretical limits of this endeavor, in particular work concerning universality, representational equivalence, and computability of conditioning. I might even wax philosophical on the last point.
This is joint work with Nate Ackerman (UPenn) and Cameron Freer (MIT).
Series This talk is part of the Machine Learning @ CUED series.
Included in Lists
- All Talks (aka the CURE list)
- Biology
- bld31
- Cambridge Centre for Data-Driven Discovery (C2D3)
- Cambridge Forum of Science and Humanities
- Cambridge Language Sciences
- Cambridge Neuroscience Seminars
- Cambridge talks
- CBL important
- Chris Davis' list
- Creating transparent intact animal organs for high-resolution 3D deep-tissue imaging
- dh539
- dh539
- Engineering Department, CBL Room 438
- Featured lists
- Guy Emerson's list
- Hanchen DaDaDash
- Inference Group Summary
- Information Engineering Division seminar list
- Interested Talks
- Joint Machine Learning Seminars
- Life Science
- Life Sciences
- Machine Learning @ CUED
- Machine Learning Summary
- ML
- ndk22's list
- Neuroscience
- Neuroscience Seminars
- Neuroscience Seminars
- ob366-ai4er
- Required lists for MLG
- rp587
- Seminar
- Simon Baker's List
- Stem Cells & Regenerative Medicine
- Trust & Technology Initiative - interesting events
- yk373's list
- yk449
Note: Ex-directory lists are not shown.
![[Talks.cam]](/static/images/talkslogosmall.gif)


Tuesday 28 July 2009, 14:00-15:00