Kartik Chandra, Tony Chen 0003, Joshua B. Tenenbaum, Jonathan Ragan-Kelley. A Domain-Specific Probabilistic Programming Language for Reasoning about Reasoning (Or: A Memo on memo). Proceedings of the ACM on Programming Languages, 9(OOPSLA2):784-814, 2025. [doi]
Abstract is missing.