{
  "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"
}