AWhat changed
Updates a single miscoverage parameter from observed errors to adapt prediction sets online, with long-run realized coverage-frequency analysis and finite-horizon discrepancy bounds.
Scientific scope
Updates a single miscoverage parameter from observed errors to adapt prediction sets online, with long-run realized coverage-frequency analysis and finite-horizon discrepancy bounds. Long-run empirical frequency differs from per-time marginal or conditional coverage, and can require empty/full sets under endpoint conventions. Stronger local tracking needs further distributional assumptions; step size trades responsiveness for volatility. V1 notation conventions were not independently implemented or certified.
Evidence
The linked original sources describe the stated contribution and its evidence limits. WRS has not independently rerun the experiments or certified a proof. Long-run empirical frequency differs from per-time marginal or conditional coverage, and can require empty/full sets under endpoint conventions. Stronger local tracking needs further distributional assumptions; step size trades responsiveness for volatility. V1 notation conventions were not independently implemented or certified.
Contributors
- Source-listed authors and technical contributors · SCIENCE: Source-listed authors or explicitly credited technical contributors for the cited versions. Family entries retain source-specific attribution; a combined list is not one original-paper byline or equal individual work. Names alone do not establish resolved identities.
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction