File size: 2,828 Bytes
b7d6f4e | 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 | {
"agent_view_tokens": 7395,
"artifact": "agentic-theorem-prover-theory-repro/exact-six-cpu-evidence:v0",
"artifact_anchor": "https://huggingface.co/buckets/neonforestmist/repro-agentic-theorem-prover-theory-artifacts#agentic-theorem-prover-theory-repro/exact-six-cpu-evidence:v0",
"artifact_bucket": "https://huggingface.co/buckets/neonforestmist/repro-agentic-theorem-prover-theory-artifacts",
"bucket_url": "https://huggingface.co/buckets/neonforestmist/repro-agentic-theorem-prover-theory-artifacts",
"emoji": "🎯",
"expected_parent_sha": "a19abf404a8863ec22186ac6dac7709b995b2982",
"offline_staged": true,
"paper": {
"arxiv_id": "2602.10538v2",
"openreview_id": "hAQZl57Nvx"
},
"publication_status": "PUBLISHED_PENDING_VERDICT",
"revision": "0",
"root": {
"children": [
{
"children": [],
"file": "pages/executive-summary/page.md",
"slug": "executive-summary",
"title": "Executive summary"
},
{
"children": [],
"file": "pages/claim-1-optimal-policies/page.md",
"slug": "claim-1-optimal-policies",
"title": "Claim 1 - Optimal policies"
},
{
"children": [],
"file": "pages/claim-2-bellman-structure/page.md",
"slug": "claim-2-bellman-structure",
"title": "Claim 2 - Bellman structure"
},
{
"children": [],
"file": "pages/claim-3-score-regret/page.md",
"slug": "claim-3-score-regret",
"title": "Claim 3 - Score regret"
},
{
"children": [],
"file": "pages/claim-4-statistical-provability/page.md",
"slug": "claim-4-statistical-provability",
"title": "Claim 4 - Statistical provability"
},
{
"children": [],
"file": "pages/claim-5-component-complexity/page.md",
"slug": "claim-5-component-complexity",
"title": "Claim 5 - Component complexity"
},
{
"children": [],
"file": "pages/claim-6-failure-boundary/page.md",
"slug": "claim-6-failure-boundary",
"title": "Claim 6 - Failure boundary"
},
{
"children": [],
"file": "pages/conclusion/page.md",
"slug": "conclusion",
"title": "Conclusion"
}
],
"file": "pages/index.md",
"slug": "index",
"title": "Agentic Theorem Prover Theory — Exact 12/12 CPU Reproduction"
},
"schema_version": 1,
"source_placeholder": "neonforestmist/placeholder28",
"space_id": "neonforestmist/repro-agentic-theorem-prover-theory",
"tags": [
"icml2026-repro",
"paper-hAQZl57Nvx"
],
"target_space": "neonforestmist/repro-agentic-theorem-prover-theory",
"title": "Agentic Theorem Prover Theory — Exact 12/12 CPU Reproduction",
"updated_at": "2026-07-18T23:32:19+00:00"
}
|