Guaranteed Coverage Prediction Intervals with Gaussian Process Regression | Synapse