01 ; Finite-sample validity of distribution-free prediction intervals 02 ; Equivalence of Finite-Sample Quantile and Counting Predicates for Split Conformal Prediction