ORID Cxdj2GYZ4c · tags icml2026-repro paper-Cxdj2GYZ4c
| # | Status | Page | Artifact | Claim excerpt |
|---|---|---|---|---|
| 1 | VERIFIED 2/2 | 01-anonymous-multi-agent-path-finding-formulated | artifact | Anonymous multi-agent path finding is formulated as linear program P1 minimizing… |
| 2 | VERIFIED 2/2 | 02-constraint-set-yields-integral-optimal | artifact | Lemma 3.3 proves the constraint set yields integral optimal solutions in {0,1}^(… |
| 3 | VERIFIED 2/2 | 03-total-unimodularity-constraint-matrix-via | artifact | Total unimodularity of the constraint matrix is proven via a node-splitting cons… |
| 4 | VERIFIED 2/2 | 04-schr-dinger-bridge-relaxation-adds | artifact | The Schrödinger bridge relaxation P2 adds entropic regularization parameter ε to… |
| 5 | VERIFIED 2/2 | 05-grids-robots-density-entropic-pipeline | artifact | On grids with K up to 22,500 robots at 5% density, the entropic (P2+P3) pipeline… |
| 6 | VERIFIED 2/2 | 06-cost-degradation-entropic-to-integral-projection | artifact | Cost degradation from the entropic-to-integral projection stays under 10% while … |