Independent reproduction · arXiv 2507.06032v1 · OpenReview vbty65Z76C

Learning-Augmented Online Covering Problems

Exact finite diagnostics exercise the ICE charging mechanism, efficient-decomposition formulas, weighted set cover, and rooted Steiner reductions without presenting finite evidence as a universal proof.

15/15
scientific gates
300
theorem-formula cells
192
exact set-cover cells
24
rooted Steiner certificates
Set-cover and formula diagnostics

Scope: Theorem 5's classical O(log k) phrase is request-count dependence—the full source rate includes log|S|. Theorem 12 covers Steiner tree; the group-Steiner substitution appears separately as a general-framework application.