Sequential Confidence Sets for Coverage-Constrained Conformal Model Selection
Organizations: Department of Statistics and Data Science, School of Economics, Jinan University, Guangzhou, China.
Abstract
Modern conformal forecasting systems often maintain several adaptive pipelines that differ in base forecasters, conformity scores, calibration windows, and update rules. Comparing them is difficult because coverage is a hard constraint, whereas efficiency should be optimized only among feasible pipelines. We formulate this problem as sequential inference for a stochastic constrained argmin. At each time, the target is the set of minimum-cost pipelines satisfying multiple prefix-average conditional miscoverage constraints. We introduce Coverage-Constrained Sequential Model Confidence Sets (CC-SMCS), which separate certifiably feasible, possibly feasible, and possibly constrained-optimal pipelines. Using simultaneous martingale confidence sequences, CC-SMCS projects a rectangular confidence region onto the constrained argmin and admits an exact closed-form rule. With probability at least , it contains every constrained-optimal pipeline simultaneously over all times. This finite-sample guarantee requires no stationarity or mixing assumptions and remains valid under data-dependent stopping. We also establish an impossibility result for safe certification at the coverage boundary and extend the construction to delayed multi-horizon feedback and outcome-dependent efficiency objectives.
Figures & tables
| Simulations | ||||||
|---|---|---|---|---|---|---|
| Simulation 1 | 0.10 | 1.000 | 0.0361 | 0.0234 | 0.0186 | 0.001 |
| 0.25 | 1.000 | 0.0326 | 0.0211 | 0.0168 | 0.001 | |
| Simulation 2 | 0.10 | 1.000 | 0.0402 | 0.0283 | 0.0231 | – |
| 0.25 | 1.000 | 0.0363 | 0.0255 | 0.0209 | – | |
| Simulation 3 | 0.10 | 0.999 | 0.0372 | 0.0252 | 0.0209 | – |
| 0.25 | 0.999 | 0.0336 | 0.0227 | 0.0188 | – |
Appendix figures & tables8 assets
Supplementary material from the paper’s appendix.
Appendix
| Symbol | Meaning |
|---|---|
| Prediction set from method under constraint at round | |
| Miscoverage indicator | |
| Predictable exposure or subgroup weight | |
| Prefix-average conditional excess miscoverage | |
| Observed prefix-average set cost | |
| True feasible method set |
| The selection of | Simulation Data Set | Data Set 1 | Data Set 2 | Data Set 3 | Data Set 4 | |
|---|---|---|---|---|---|---|
| 0.10 | 17.616 | 20.494 | 29.584 | 30.946 | 8.151 | |
| 0.25 | 21.752 | 25.305 | 36.529 | 38.211 | 10.064 |