Oil extraction at Horse Hill was stopped in October ... oil to an earthquake occurring—the team used a Bayesian machine learning tool that randomly varied unknown parameters such as time lag.