1. Maß- und Integrationstheorie
2. Probability
3. Julia: A Fresh Approach to Numerical Computing
4. A Language for Counterfactual Generative Models, Tavares, Zenna and Koppel, James and Zhang, Xin and Das, Ria and Solar-Lezama, Armando, Proceedings of the 38th International Conference on Machine Learning, 10173–10182, 2021, Meila, Marina and Zhang, Tong, 139, Proceedings of Machine Learning Research, 18–24 Jul, PMLR, http://proceedings.mlr.press/v139/tavares21a/tavares21a.pdf, https://proceedings.mlr.press/v139/tavares21a.html, We present Omega, a probabilistic programming language with support for counterfactual inference. Counterfactual inference means to observe some fact in the present, and infer what would have happened had some past intervention been taken, e.g. “given that medication was not effective at dose x, what is the probability that it would have been effective at dose 2x?.” We accomplish this by introducing a new operator to probabilistic programming akin to Pearl’s do, define its formal semantics, provide an implementation, and demonstrate its utility through examples in a variety of simulation models.