| Delayed sampling and automatic rao-blackwellization of probabilistic programs L Murray, D Lundén, J Kudlicka, D Broman, T Schön International Conference on Artificial Intelligence and Statistics, 1037-1046, 2018 | 32 | 2018 |
| Automatic alignment of sequential Monte Carlo inference in higher-order probabilistic programs D Lundén, D Broman, F Ronquist, LM Murray arXiv preprint arXiv:1812.07439, 2018 | 4 | 2018 |
| Delayed sampling in the probabilistic programming language Anglican D Lundén | 4 | 2017 |
| Correctness of Sequential Monte Carlo inference for probabilistic programming languages D Lundén, J Borgström, D Broman arXiv preprint arXiv:2003.05191, 2020 | 3 | 2020 |
| Universal probabilistic programming offers a powerful approach to statistical phylogenetics F Ronquist, J Kudlicka, V Senderov, J Borgström, N Lartillot, D Lundén, ... BioRxiv, 2020 | 2 | 2020 |
| Combining static and dynamic optimizations using closed-form solutions D Lundén, D Broman, LM Murray Proceedings of the Workshop on Probabilistic Programming Semantics (PPS) 3, 2018 | 1 | 2018 |
| Factoring integers with parallel SAT solvers D Lundén, E Forsblom | 1 | 2015 |
| Supplementary information for Universal probabilistic programming: a powerful new approach to statistical phylogenetics F Ronquist, J Kudlicka, V Senderov, J Borgström, N Lartillot, D Lundén, ... | | |
| Automatic Discovery of Static Structures in Probabilistic Programs D Lundén, D Broman, F Ronquist, LM Murray | | |
| Fördröjd provtagning i det probabilistiska programmeringssprĺket Anglican D Lundén | | |
David BromanKTH Royal Institute of TechnologyEmail verificata su kth.se
