Kartik Chandra

A Domain-Specific Probabilistic Programming Language for Reasoning About Reasoning (or: a memo on memo)

2025

The human ability to think about thinking ("theory of mind") is a fundamental object of study in many disciplines. In recent decades, researchers across these disciplines have converged on a rich computational paradigm for modeling …