File size: 3,288 Bytes
2b7fd36 e1ce53a 2b7fd36 6085636 2b7fd36 dd9357f 2b7fd36 dd9357f 2b7fd36 cfe4625 2b7fd36 e1ce53a 2b7fd36 e1ce53a 2b7fd36 e1ce53a 2b7fd36 e1ce53a 2b7fd36 e1ce53a cfe4625 6085636 | 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 | {
"schema_version": 1,
"title": "Reproduction: Approximation Theory for Lipschitz Continuous Transformers",
"emoji": "🎯",
"space_id": "SabaPivot/repro-approximation-theory-for-lipschitz-continuous-transformers",
"paper": {
"arxiv_id": "2602.15503"
},
"tags": [
"arxiv:2602.15503",
"icml2026-repro",
"paper-OVBpXUvwMi"
],
"updated_at": "2026-07-31T04:14:00+00:00",
"root": {
"slug": "index",
"title": "Reproduction: Approximation Theory for Lipschitz Continuous Transformers",
"file": "pages/index.md",
"children": [
{
"slug": "executive-summary",
"title": "Executive summary",
"file": "pages/executive-summary/page.md",
"children": []
},
{
"slug": "claim-6-current-verification",
"title": "Current verification",
"file": "pages/claim-6-current-verification/page.md",
"children": []
},
{
"slug": "claim-7-proof-reconstruction",
"title": "Independent proof reconstruction",
"file": "pages/claim-7-proof-reconstruction/page.md",
"children": []
},
{
"slug": "claim-8-visibility-matrix",
"title": "Evaluator visibility matrix",
"file": "pages/claim-8-visibility-matrix/page.md",
"children": []
},
{
"slug": "claim-9-release-report",
"title": "Release report",
"file": "pages/claim-9-release-report/page.md",
"children": []
},
{
"slug": "claim-10-red-team",
"title": "Evaluator-blind red team",
"file": "pages/claim-10-red-team/page.md",
"children": []
},
{
"slug": "claim-1-current",
"title": "Claim 1 — MLP Euler layer",
"file": "pages/claim-1-current/page.md",
"children": []
},
{
"slug": "claim-2-current",
"title": "Claim 2 — shallow attention",
"file": "pages/claim-2-current/page.md",
"children": []
},
{
"slug": "claim-3-current",
"title": "Claim 3 — finite-depth composition",
"file": "pages/claim-3-current/page.md",
"children": []
},
{
"slug": "claim-4-current",
"title": "Claim 4 — universal approximation",
"file": "pages/claim-4-current/page.md",
"children": []
},
{
"slug": "claim-5-current",
"title": "Claim 5 — restricted Stone-Weierstrass",
"file": "pages/claim-5-current/page.md",
"children": []
},
{
"slug": "claim-11-claims",
"title": "claims",
"file": "pages/claim-11-claims/page.md",
"children": []
},
{
"slug": "claim-12-evidence",
"title": "evidence",
"file": "pages/claim-12-evidence/page.md",
"children": []
},
{
"slug": "claim-13-verification-run",
"title": "verification-run",
"file": "pages/claim-13-verification-run/page.md",
"children": []
},
{
"slug": "conclusion",
"title": "conclusion",
"file": "pages/conclusion/page.md",
"children": []
}
]
},
"agent_view_tokens": 16000,
"revision": "26021503-lean-claims-4-5-canonical"
}
|