Author:
Huot Mathieu,Lew Alexander K.,Mansinghka Vikash K.,Staton Sam
Funder
Air Force Office of Scientific Research
Reference46 articles.
1. Call-by-value games;abramsky;Computer Science Logic 11th International Workshop CSL’97 Annual Conference of the EACSL Aarhus,1997
2. Exact Bayesian inference by symbolic disintegration
3. A convenient category for higher-order probability theory
4. Reparameterization gradient for non-differentiable models;lee;Advances in neural information processing systems,2018
5. Relating computational effects by ⊤⊤-lifting
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Cartesian Closed Category for Random Variables;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08