ORID JnuwpwbZ8D · tags icml2026-repro paper-JnuwpwbZ8D
| # | Status | Page | Artifact | Claim excerpt |
|---|---|---|---|---|
| 1 | VERIFIED 2/2 | 01-establishes-general-first-order-logic-framework | artifact | Theorem 4.1 establishes a general first-order-logic framework giving pseudo-dime… |
| 2 | VERIFIED 2/2 | 02-bounds-pseudo-dimension-piecewise-polynomial-tra | artifact | Theorem 5.1 bounds the pseudo-dimension of piecewise-polynomial training-loss ob… |
| 3 | VERIFIED 2/2 | 03-extends-framework-bi-level-validation-loss-setti | artifact | Theorem 6.1 extends the framework to the bi-level validation-loss setting (f not… |
| 4 | VERIFIED 2/2 | 04-optimal-parameter-path-theta-alpha | artifact | Theorem 7.2 shows that when the optimal parameter path theta*(x, alpha) is piece… |
| 5 | VERIFIED 2/2 | 05-provides-first-learnability-guarantee-weighted | artifact | Theorem 8.1 provides the first learnability guarantee for weighted group LASSO r… |
| 6 | VERIFIED 2/2 | 06-derives-pdim-bound-weighted-fused | artifact | Theorem 8.2 derives a Pdim(L) = O(d^2) bound for weighted fused LASSO applied to… |