Johannes Borgström

A lambda-calculus foundation for universal probabilistic programming

Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon et al. · 2016 · 87 citations · Full text

Mathematical Programming, Engineering, Probabilistic Computation +17

Bayesian inference using data flow analysis

Guillaume Claret, Sriram K. Rajamani, Aditya V. Nori et al. · 2013 · 66 citations

Bayesian Statistic, Engineering, Verification +21

Tabular

Andrew D. Gordon, Thore Graepel, Nicolas Rolland et al. · 2014 · 47 citations · Full text

Engineering, Machine Learning, Knowledge Extraction +16

A model-learner pattern for bayesian reasoning

Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström et al. · 2013 · 38 citations

Artificial Intelligence, Bayesian Statistic, Engineering +19

Measure Transformer Semantics for Bayesian Machine Learning

Johannes Borgström, Andrew D. Gordon, Michael Greenberg et al. · Logical Methods in Computer Science · 2013 · 33 citations · Full text

Artificial Intelligence, Bayesian Statistic, Engineering +16