Apppublic

ProCreations/repro-learning-augmented-online-covering-problems

sourceHugging Faceupdated 2mo agoView on Hugging Face

0likes

App README

Reproduction bundle

This deterministic CPU-only Trackio logbook audits all five exact registered claims for OpenReview vbty65Z76C against arXiv 2507.06032v1.

Primary links: OpenReview and arXiv v1.

bash

PYTHONWARNINGS=error python reproduce.py --output replay
python build_manifest.py --verify

The evidence includes 300 theorem-formula cells, 192 exact weighted set-cover cells with 8 instances and 4 arrival orders per error regime, 24 rooted Steiner decomposition certificates, primary-source pins, and matched no-prediction controls. Finite diagnostics are kept distinct from the source's universal and conditional complexity theorems.