Semantics of the memo Probabilistic Programming Language
summary
Formal semantics for the memo probabilistic programming language claim: a frame of mind is the core state that records choices, subframes and equations and program execution grows a tree of frames. A type system tracks which choices an expression depends on and statically rejects mindreading or mind control unless a probability operator marginalizes uncertainty. Denotational semantics maps a frame to a product of a choice context and measures over subframes, proves well typed statements preserve pre to post frames and shows expressions become point masses when agents are certain. Plans include semantics preserving compilation to array code.
AI-written summary · about
chapters (10)
- 0:00Introduction to memo and agents
- 1:07Nested inference pitfalls in PPLs
- 3:59How memo avoids nested inference
- 4:42Formal semantics for memo
- 5:25Frames as program states
- 8:41Frame structure and types
- 10:26Uncertainty in expression typing
- 12:57Denotational semantics of expressions
- 13:39Conclusion and future work
- 14:24Q&A