Author:
Bhat Sooraj,Agarwal Ashish,Vuduc Richard,Gray Alexander
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions;Proceedings of the ACM on Programming Languages;2024-04-29
2. Sound probabilistic inference via guide types;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
3. Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere;Programming Languages and Systems;2021
4. Raising expectations: automating expected cost analysis with types;Proceedings of the ACM on Programming Languages;2020-08-02
5. Symbolic Disintegration with a Variety of Base Measures;ACM Transactions on Programming Languages and Systems;2020-05-27