{
  "agent_view_tokens": 16000,
  "emoji": "🧩",
  "paper": {
    "arxiv_id": "2505.04528"
  },
  "revision": "1785356100000000001",
  "root": {
    "children": [
      {
        "children": [],
        "file": "pages/00-judge-evidence-scorecard/page.md",
        "slug": "00-judge-evidence-scorecard",
        "title": "Judge-facing evidence scorecard"
      },
      {
        "children": [],
        "file": "pages/claim-1/page.md",
        "slug": "claim-1",
        "title": "Claim 1"
      },
      {
        "children": [],
        "file": "pages/claim-2/page.md",
        "slug": "claim-2",
        "title": "Claim 2"
      },
      {
        "children": [],
        "file": "pages/claim-3/page.md",
        "slug": "claim-3",
        "title": "Claim 3"
      },
      {
        "children": [],
        "file": "pages/claim-4/page.md",
        "slug": "claim-4",
        "title": "Claim 4"
      },
      {
        "children": [],
        "file": "pages/claim-5/page.md",
        "slug": "claim-5",
        "title": "Claim 5"
      },
      {
        "children": [],
        "file": "pages/claim-6/page.md",
        "slug": "claim-6",
        "title": "Claim 6"
      },
      {
        "children": [],
        "file": "pages/methods-provenance/page.md",
        "slug": "methods-provenance",
        "title": "Methods and provenance"
      },
      {
        "children": [],
        "file": "pages/failure-boundaries/page.md",
        "slug": "failure-boundaries",
        "title": "Failure boundaries"
      },
      {
        "children": [],
        "file": "pages/conclusion/page.md",
        "slug": "conclusion",
        "title": "Conclusion"
      }
    ],
    "file": "pages/index.md",
    "slug": "index",
    "title": "Formal problem-solving exact audit"
  },
  "schema_version": 2,
  "space_id": "ProCreations/repro-formal-problem-solving-framework-benchmark",
  "tags": [
    "icml2026-repro",
    "paper-hgMZraPlSv"
  ],
  "title": "Reproduction: Beyond Theorem Proving — Formal Problem-Solving",
  "updated_at": "2026-07-29T17:35:00+00:00"
}