Kartik Chandra
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 6 in the filters
who talks about the same things
- Joshua B. Tenenbaum11 talks
- Jonathan Ragan-Kelley12 talks
- Eric Atkinson6 talks
- Thomas Reps20 talks
- Lucas Peña3 talks
- Nada Amin26 talks
| title | conference | date |
|---|---|---|
| A Domain-Specific Probabilistic Programming Language for Reasoning about Reasoning(…) | OOPSLA 2025 | 2025-10-16 |
Memo is a domain-specific probabilistic programming language for recursive theory-of-mind models that compiles to JAX and runs on GPUs. It embeds in Python… | ||
| Gauguin, Descartes, Bayes: A Diurnal Golem's Brain | Onward! 2025 | 2025-10-12 |
Builds a small probabilistic program in Church that samples and conditions over program-space to infer its own source; uses a grammar-based generator, eval… | ||
| A Domain-Specific PPL for Reasoning about Reasoning (or: a memo on memo) | LAFI 2025 | 2025-01-19 |
Introduces memo, a Python-embedded domain-specific PPL that replaces sample/infer with choose/observe semantics and compiles recursive theory-of-mind models… | ||
| Semantics of the memo Probabilistic Programming Language | LAFI 2025 | 2025-01-19 |
Formal semantics for the memo probabilistic programming language claim: a frame of mind is the core state that records choices, subframes and equations and… | ||
| nothing matches | ||