Keynote: Probabilistic Programming With Coordination and Compensation | IEEE Conference Publication | IEEE Xplore