Training-Conditional Coverage Bounds under Covariate Shift | Synapse