patterns and social network structure. We demonstrate the effectiveness of probabilistic
programming for parameter inference in these models. We consider an agent-based
simulation that represents mobility networks as degree-corrected stochastic block models,
whose parameters we estimate from cell phone co-location data. We then use probabilistic
program inference methods to approximate the distribution over disease transmission …