발행물
컨퍼런스
The 37th International Conference on Machine Learning (ICML 2020)
,
Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support
The 34th AAAI Conference on Artificial Intelligence (AAAI 2020)
Differentiable Algorithm for Marginalising Changepoints
Conference on Asian Conference on Machine Learning (ACML 2019)
Trust Region Sequential Variational Inference
4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019
Some semantic issues in probabilistic programming languages
The 41st ACM/IEEE International Conference on Software Engineering (ICSE 2019)
Resource-Aware Program Analysis Via Online Abstraction Coarsening