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