Author:
Claret Guillaume,Rajamani Sriram K.,Nori Aditya V.,Gordon Andrew D.,Borgström Johannes
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Bit Blasting Probabilistic Programs;Proceedings of the ACM on Programming Languages;2024-06-20
2. Newtonian Program Analysis of Probabilistic Programs;Proceedings of the ACM on Programming Languages;2024-04-29
3. Exact Recursive Probabilistic Programming;Proceedings of the ACM on Programming Languages;2023-04-06
4. Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference;Proceedings of the ACM on Programming Languages;2023-01-09
5. Symbolic execution for randomized programs;Proceedings of the ACM on Programming Languages;2022-10-31