{
  "schema_version": 2,
  "title": "FormulaCode: Evaluating Agentic Optimization on Large Codebases",
  "emoji": "🎯",
  "space_id": "SabaPivot/repro-formulacode-evaluating-agentic-optimization-on-large-codebases",
  "paper": {
    "arxiv_id": "2603.16011"
  },
  "tags": [
    "icml2026-repro",
    "paper-WArbqRUsAe"
  ],
  "updated_at": "2026-08-01T09:32:16.202241+00:00",
  "root": {
    "slug": "index",
    "title": "FormulaCode: Evaluating Agentic Optimization on Large Codebases",
    "file": "pages/index.md",
    "children": [
      {
        "slug": "executive-summary",
        "title": "Executive summary",
        "file": "pages/executive-summary/page.md",
        "children": []
      },
      {
        "slug": "claim-1-dataset-construction-pipeline",
        "title": "Claim 1: Dataset construction pipeline",
        "file": "pages/claim-1-dataset-construction-pipeline/page.md",
        "children": []
      },
      {
        "slug": "claim-2-workloads-and-patch-size",
        "title": "Claim 2: Workloads and patch size",
        "file": "pages/claim-2-workloads-and-patch-size/page.md",
        "children": []
      },
      {
        "slug": "claim-3-main-agent-results",
        "title": "Claim 3: Main agent results",
        "file": "pages/claim-3-main-agent-results/page.md",
        "children": []
      },
      {
        "slug": "claim-4-optimization-scale",
        "title": "Claim 4: Optimization scale",
        "file": "pages/claim-4-optimization-scale/page.md",
        "children": []
      },
      {
        "slug": "claim-5-repository-popularity-effects",
        "title": "Claim 5: Repository popularity effects",
        "file": "pages/claim-5-repository-popularity-effects/page.md",
        "children": []
      },
      {
        "slug": "claim-6-optimization-type-performance",
        "title": "Claim 6: Optimization type performance",
        "file": "pages/claim-6-optimization-type-performance/page.md",
        "children": []
      },
      {
        "slug": "claim-99-fresh-independent-cpu-audit",
        "title": "Fresh independent CPU audit",
        "file": "pages/claim-99-fresh-independent-cpu-audit/page.md",
        "children": []
      },
      {
        "slug": "conclusion",
        "title": "Conclusion",
        "file": "pages/conclusion/page.md",
        "children": []
      }
    ]
  },
  "traces": [],
  "workspace": {
    "file": "workspace.json",
    "file_count": 0,
    "total_size": 0,
    "bucket_id": null
  },
  "agent_view_tokens": 5399,
  "trace_view_tokens": 33533,
  "workspace_view_tokens": 1690,
  "revision": "10ad8ef51bcbdf061027",
  "traces_ref": {
    "repo_id": "Srishti280992/repro-formulacode-evaluating-agentic-optimization-on-large-codebases-traces",
    "repo_type": "dataset",
    "repo_url": "https://huggingface.co/datasets/Srishti280992/repro-formulacode-evaluating-agentic-optimization-on-large-codebases-traces",
    "private": true
  },
  "trace_dataset": "https://huggingface.co/datasets/Srishti280992/repro-formulacode-evaluating-agentic-optimization-on-large-codebases-traces",
  "workspace_ref": {
    "repo_id": "Srishti280992/repro-formulacode-evaluating-agentic-optimization-on-large-codebases-artifacts",
    "repo_type": "bucket",
    "repo_url": "https://huggingface.co/buckets/Srishti280992/repro-formulacode-evaluating-agentic-optimization-on-large-codebases-artifacts",
    "private": true
  },
  "workspace_bucket": "https://huggingface.co/buckets/Srishti280992/repro-formulacode-evaluating-agentic-optimization-on-large-codebases-artifacts"
}