Chris Heunen
Probabilistic & Bayesian Methods · 2012–2020
A researcher in the Science corpus: 5 papers; trusts 5 researchers and is trusted by 2 researchers here, as inferred from the citation graph.
Subfields
- Probabilistic & Bayesian Methods — 27 citations into it; #1,376 of 1,525 by trust here, #1,176 by citations
- Artificial Intelligence — 23 citations into it; #29,713 of 35,345 by trust here, #25,040 by citations
- Statistics and Probability — 6 citations into it
Whom Chris Heunen trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Chris Heunen overall
Papers from Chris Heunen's perspective
Ordered by how strongly the researchers Chris Heunen trusts endorse each paper. Same corpus, a different order for every researcher.
- A New Approach to Probabilistic Programming Inference
- Lightweight Implementations of Probabilistic Programming Languages Via Transformational Compilation
- Venture: a higher-order probabilistic programming platform with programmable inference
- Inference Compilation and Universal Probabilistic Programming
- Stan: A Probabilistic Programming Language
- Deep Probabilistic Programming
- Automatic Variational Inference in Stan
- A convenient category for higher-order probability theory
- Practical probabilistic programming with monads
- Measure Transformer Semantics for Bayesian Machine Learning
Their papers
- A convenient category for higher-order probability theory (2017) — 188 citations
- Categories for Quantum Theory: An Introduction (2020) — 133 citations
- Denotational validation of higher-order Bayesian inference (2017) — 78 citations
- Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints (2016) — 148 citations
- Active lattices determine AW*−algebras (2012) — 51 citations