Update logbook: Reproduction: FormulaCode: Evaluating Agentic Optimization on Large Codebases
353c018 verified | { | |
| "schema_version": 2, | |
| "title": "Reproduction: FormulaCode: Evaluating Agentic Optimization on Large Codebases", | |
| "emoji": "🎯", | |
| "space_id": "Srishti280992/repro-formulacode-evaluating-agentic-optimization-on-large-codebases", | |
| "paper": null, | |
| "tags": [ | |
| "icml2026-repro", | |
| "paper-WArbqRUsAe" | |
| ], | |
| "updated_at": "2026-07-31T22:20:24+00:00", | |
| "root": { | |
| "slug": "index", | |
| "title": "Reproduction: 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": "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" | |
| } |