File size: 1,962 Bytes
7801dec d9e3ca9 d4eaded 7801dec d4eaded 7801dec | 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 | {
"schema_version": 1,
"title": "Beyond Theorem Proving — Exact 12/12 CPU Reproduction",
"emoji": "🎯",
"space_id": "neonforestmist/formal-problem-solving-repro",
"paper": null,
"tags": [],
"updated_at": "2026-07-20T02:15:43+00:00",
"root": {
"slug": "index",
"title": "Beyond Theorem Proving — Exact 12/12 CPU Reproduction",
"file": "pages/index.md",
"children": [
{
"slug": "conclusion",
"title": "Conclusion",
"file": "pages/conclusion/page.md",
"children": []
},
{
"slug": "claim-1-deterministic-mdp",
"title": "Claim 1 — deterministic MDP",
"file": "pages/claim-1-deterministic-mdp/page.md",
"children": []
},
{
"slug": "claim-2-forward-backward-split",
"title": "Claim 2 — forward/backward split",
"file": "pages/claim-2-forward-backward-split/page.md",
"children": []
},
{
"slug": "claim-3-fps-soundness",
"title": "Claim 3 — FPS soundness",
"file": "pages/claim-3-fps-soundness/page.md",
"children": []
},
{
"slug": "claim-4-d-fps-theorems",
"title": "Claim 4 — D-FPS theorems",
"file": "pages/claim-4-d-fps-theorems/page.md",
"children": []
},
{
"slug": "claim-5-benchmark-suite",
"title": "Claim 5 — benchmark suite",
"file": "pages/claim-5-benchmark-suite/page.md",
"children": []
},
{
"slug": "claim-6-baseline-ceilings",
"title": "Claim 6 — baseline ceilings",
"file": "pages/claim-6-baseline-ceilings/page.md",
"children": []
},
{
"slug": "sources-replay-release",
"title": "Sources, replay & release",
"file": "pages/sources-replay-release/page.md",
"children": []
}
]
},
"agent_view_tokens": 10341,
"revision": "1784513743306660000"
} |