Spaces:
Running
Running
File size: 3,516 Bytes
932c9f7 4370027 932c9f7 4370027 932c9f7 4370027 932c9f7 4370027 932c9f7 4370027 932c9f7 4370027 932c9f7 4370027 932c9f7 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 | {
"schema_version": 1,
"title": "Repro - Last-iterate Convergence of ADMM on Multi-affine Quadratic Equality Constrained Problem",
"emoji": "\ud83c\udfaf",
"space_id": "DineshAI/MyBVUgacQ9",
"paper": null,
"tags": [
"icml2026-repro",
"paper-MyBVUgacQ9"
],
"updated_at": "2026-07-26T21:26:34Z",
"root": {
"slug": "index",
"title": "Repro - Last-iterate Convergence of ADMM on Multi-affine Quadratic Equality Constrained Problem",
"file": "pages/index.md",
"children": [
{
"slug": "verification-current",
"title": "Verification (current)",
"file": "pages/verification-current/page.md",
"children": []
},
{
"slug": "claim-1",
"title": "Claim 1 - Theorem 3.1 (sublinear o(1/k) + limit point)",
"file": "pages/claim-1/page.md",
"children": []
},
{
"slug": "claim-2",
"title": "Claim 2 - Theorem 3.2 (equation 4 and the linear rate)",
"file": "pages/claim-2/page.md",
"children": []
},
{
"slug": "claim-3",
"title": "Claim 3 - Theorem 3.3 (polyhedral indicators)",
"file": "pages/claim-3/page.md",
"children": []
},
{
"slug": "claim-4",
"title": "Claim 4 - Corollary 4.2 (the (dt)^3 term and t_0)",
"file": "pages/claim-4/page.md",
"children": []
},
{
"slug": "claim-5",
"title": "Claim 5 - Figures 2 and 4 (q >= 10 and the baselines)",
"file": "pages/claim-5/page.md",
"children": []
},
{
"slug": "claim-6",
"title": "Claim 6 - Figures 5, 3 and 6 (locomotion and hardware)",
"file": "pages/claim-6/page.md",
"children": []
},
{
"slug": "visibility-matrix",
"title": "Visibility matrix",
"file": "pages/visibility-matrix/page.md",
"children": []
},
{
"slug": "limitations",
"title": "Limitations and deviations",
"file": "pages/limitations/page.md",
"children": []
},
{
"slug": "checker-output",
"title": "Independent checker output",
"file": "pages/checker-output/page.md",
"children": []
},
{
"slug": "overview",
"title": "Overview",
"file": "pages/overview/page.md",
"children": []
},
{
"slug": "claims",
"title": "Claims",
"file": "pages/claims/page.md",
"children": []
},
{
"slug": "conclusion",
"title": "Conclusion",
"file": "pages/conclusion/page.md",
"children": []
},
{
"slug": "evidence",
"title": "Evidence (historical rejected baseline)",
"file": "pages/evidence/page.md",
"children": []
},
{
"slug": "verification-run",
"title": "Verification run (historical rejected baseline)",
"file": "pages/verification-run/page.md",
"children": []
},
{
"slug": "overview-historical",
"title": "Overview (historical rejected baseline)",
"file": "pages/overview-historical/page.md",
"children": []
},
{
"slug": "conclusion-historical",
"title": "Conclusion (historical rejected baseline)",
"file": "pages/conclusion-historical/page.md",
"children": []
}
]
},
"agent_view_tokens": 1683,
"revision": "1784968247138204191"
} |