{"as_of":"2026-08-20T10:31:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c78504c639a6ace690ba031d8f4ad287f5714f3fe5adf6c33ae23c58d3598e49","coverage":[{"denominator":28,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":28,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T23:26:16.199756Z","state":"measured"},{"denominator":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-31T12:16:31.854696Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.15439","snapshot_observed_at":"2026-07-31T12:16:31.854696Z","title":"Rodionov","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.28287","last_updated":"2026-07-30T14:34:41Z","snapshot_observed_at":"2026-08-18T17:08:00.316460Z","submitted_at":"2026-07-30T14:34:41Z","title":"Tycho: Active Abstraction with Programmatic World Models for ARC-AGI-3","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-07-31T12:16:31.854696Z"},"links":{"cited_paper":"/paper/2607.15439","citing_paper":"/paper/2607.28287"},"observation_digest":"sha256:205ac938fb2b20cc3978c80e26825477b9e69c68f66cd1e32e0175e0e4f9187a","observation_id":"0dd83a14-1faa-45e6-a982-18904bdc67eb","resolution":{"observed_at":"2026-07-31T12:16:31.854696Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2607.15439/citation-record","integrity":"/paper/2607.15439/integrity","json":"/paper/2607.15439/citation-record.json","paper":"/paper/2607.15439"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2603.24621","last_updated":"2026-04-17T09:35:41Z","snapshot_observed_at":"2026-08-14T14:06:38.958278Z","submitted_at":"2026-03-24T21:58:16Z","title":"ARC-AGI-3: A New Challenge for Frontier Agentic Intelligence","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2603.24621","snapshot_observed_at":"2026-08-01T23:26:12.946874Z","title":"ARC-AGI-3: A new challenge for frontier agentic intelligence, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:12.946874Z"},"links":{"cited_paper":"/paper/2603.24621","citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:8eb61f69c0771e52ac6d8b934915ed70ad2c57ec54addfc8a4bccd0228e43c2b","observation_id":"4fe2bed1-117f-4cd5-abf9-7819e895540f","resolution":{"observed_at":"2026-08-01T23:26:12.946874Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:26:12.985790Z","title":"Duck harness: Winning solution for ARC-AGI-3 milestone 1, July 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:12.985790Z"},"links":{"citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:183bcdd1225a8052222c6f522b1c9160ef0cf413b13e2344338b0ce95b86d46e","observation_id":"7557d408-b0fb-4c14-93c3-d84aa2e3a1c5","resolution":{"observed_at":"2026-08-01T23:26:12.985790Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2607.01531","last_updated":"2026-07-15T00:50:41Z","snapshot_observed_at":"2026-08-14T12:12:35.914725Z","submitted_at":"2026-07-01T23:04:47Z","title":"OPINE-World: Programmatic World Modeling with Ontology-error-Prioritized Interactive Exploration for ARC-AGI-3","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.01531","snapshot_observed_at":"2026-08-01T23:26:13.127120Z","title":"OPINE-World: Programmatic world modeling with ontology-error-prioritized interactive exploration, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:13.127120Z"},"links":{"cited_paper":"/paper/2607.01531","citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:56220d1b6e009927f6f3731c7af98f66372cb8d7fc4d574e1285913d108498ea","observation_id":"f506a87b-e0b4-4bb0-8f4f-94c63e62ae40","resolution":{"observed_at":"2026-08-01T23:26:13.127120Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:26:13.198100Z","title":"Generating code world models with large language models guided by monte carlo tree search, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:13.198100Z"},"links":{"citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:e942b344b6d554be62b6a868bbd8087816e852744bbd9a846867974a6abc5f57","observation_id":"11a864e7-ee63-451d-9c5e-e8cf85be3eca","resolution":{"observed_at":"2026-08-01T23:26:13.198100Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:26:13.316793Z","title":"Tenenbaum","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:13.316793Z"},"links":{"citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:e10d8529194f995d2f7202c75059e3d283d43d504f42703b8864e3dfd05fc229","observation_id":"03a93f9c-c38f-415a-9afa-c9b3df485418","resolution":{"observed_at":"2026-08-01T23:26:13.316793Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:26:13.427523Z","title":"Olausson, Muxin Liu, Joshua B","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:13.427523Z"},"links":{"citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:177306f60aa9a4283d27f75a05fc1dbc6f7694cc958a9ec089eb434bbf88dc08","observation_id":"74883d8a-05bd-44a7-888d-cde9015fa249","resolution":{"observed_at":"2026-08-01T23:26:13.427523Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:26:13.545016Z","title":"A tutorial introduction to the minimum description length principle, 2004","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:13.545016Z"},"links":{"citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:e24d43245c6e9bca6231954c11adb0812e4d4840c3416ee4b32610fb571e8238","observation_id":"65239c74-5bdd-46f0-8c47-d4466c9a6f71","resolution":{"observed_at":"2026-08-01T23:26:13.545016Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:26:13.663472Z","title":"World models, 2018","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:13.663472Z"},"links":{"citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:46c354c6b909e5130824fc6fdc0ca7d07a9f489ba582ce659827a3cb942d3278","observation_id":"6d9b2661-ead2-443b-9aba-0330a0f56b4a","resolution":{"observed_at":"2026-08-01T23:26:13.663472Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:26:13.812125Z","title":"Measuring human performance on ARC-AGI-3, April 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:13.812125Z"},"links":{"citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:4817dab7b448bbf9f93f8d2ae2571ead761def2a0e937fb2e49a8286573c5255","observation_id":"444d6ca3-11a3-4079-bc2f-c6f1c362c1cf","resolution":{"observed_at":"2026-08-01T23:26:13.812125Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:26:13.941670Z","title":"Analyzing GPT-5.5 and Opus 4.7 with ARC-AGI-3, May 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:13.941670Z"},"links":{"citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:b2911536df6fc539578c5431d35ceecb5c231aa284ed63d54a64ad3b07723dfe","observation_id":"469e1e84-0fad-4519-b092-f6dab9f75daf","resolution":{"observed_at":"2026-08-01T23:26:13.941670Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:26:14.043452Z","title":"Chiu, Celine Lee, Wenting Zhao, and Kevin Ellis","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:14.043452Z"},"links":{"citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:5355c6bd35a56368eb4eb7ce7b46ac712f293b1a37fa95ffe72607bec51a6480","observation_id":"e4b6a71a-41a5-4f99-a81c-1b2134c5d31e","resolution":{"observed_at":"2026-08-01T23:26:14.043452Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:26:14.204818Z","title":"Mankowitz, Esme Sutherland Robson, Pushmeet Kohli, Nando de Freitas, Koray Kavukcuoglu, and Oriol Vinyals","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:14.204818Z"},"links":{"citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:0ab94d3563018eb312274afa6fc34bce1b5aa45fcea21286ef5c7f4ebe04d53a","observation_id":"56423276-c9d3-45f6-823e-870ab19f2ac6","resolution":{"observed_at":"2026-08-01T23:26:14.204818Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:26:14.380731Z","title":"Introducing GPT-5.4","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:14.380731Z"},"links":{"citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:a75cc2b18ed0e7d096203236956831ebc848fdcc68ace2db4b1c7a7cbc2eb0de","observation_id":"3d1ebd13-d9d2-400a-942c-3f21f818c92f","resolution":{"observed_at":"2026-08-01T23:26:14.380731Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:26:14.622122Z","title":"Introducing GPT-5.5","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:14.622122Z"},"links":{"citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:1415d6e386e9ffc519d3c3bed7bdc41a44148cfc79f9bec5d66e3728846b6b46","observation_id":"df703697-a973-47b9-9f79-85b16a0d2e71","resolution":{"observed_at":"2026-08-01T23:26:14.622122Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:26:14.743681Z","title":"GPT-5.6: Frontier intelligence that scales with your ambition.https://openai","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:14.743681Z"},"links":{"citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:dd75a52932a5c8e324076bfab63198009893db04890d542f19bcb290bd4c0934","observation_id":"19c3730e-d0af-44ed-baae-fc576c5bb19f","resolution":{"observed_at":"2026-08-01T23:26:14.743681Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:26:14.862088Z","title":"GPT-5.6 in ChatGPT","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:14.862088Z"},"links":{"citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:40d1c20136b773e6ec01940fc31bc3acac012060af27bdf7cca80c5a79f9ed64","observation_id":"c8bd9e15-84ab-46b8-ae31-d83e885c257b","resolution":{"observed_at":"2026-08-01T23:26:14.862088Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:26:15.011937Z","title":"Codex CLI","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:15.011937Z"},"links":{"citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:b4a60eed6529848d7f243a3b68c1b4f0ed17c29d648428b326b89b7cc39f53ef","observation_id":"d6bb49df-8e74-47ff-8ceb-6432ba2f30c8","resolution":{"observed_at":"2026-08-01T23:26:15.011937Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2607.00627","last_updated":"2026-07-01T08:43:08Z","snapshot_observed_at":"2026-08-17T07:27:10.843125Z","submitted_at":"2026-07-01T08:43:08Z","title":"AGI Maze as a Benchmark Framework for World-Modeling Agents","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.00627","snapshot_observed_at":"2026-08-01T23:26:15.120811Z","title":"AGI Maze as a benchmark framework for world-modeling agents, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:15.120811Z"},"links":{"cited_paper":"/paper/2607.00627","citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:2d6c0e1a4a492820ebc60bccde2ecf6664af25099cb7353b88149b573de1e35c","observation_id":"a1cf897c-1820-462e-be0b-3f7e201e6ba3","resolution":{"observed_at":"2026-08-01T23:26:15.120811Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:26:15.203151Z","title":"Executable world models for ARC-AGI-3 in the era of coding agents,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:15.203151Z"},"links":{"citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:42e8e4f46e22675ece15f1158e18826b02740f55a3a2c103eb8a2f9a72ea1630","observation_id":"5070ed04-59ab-4f8a-8096-3e59c74a315b","resolution":{"observed_at":"2026-08-01T23:26:15.203151Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:26:15.526518Z","title":"Pawan Kumar, Emilien Dupont, Francisco J","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:15.526518Z"},"links":{"citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:0700b2f9f44a22a7de10cf28bce643493effc79d42b7115182c9e8cf999b66f3","observation_id":"b281007a-1cb4-4d24-9a07-21d990e3e0a3","resolution":{"observed_at":"2026-08-01T23:26:15.526518Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.05138","last_updated":"2026-06-06T19:16:21Z","snapshot_observed_at":"2026-08-14T12:11:55.677980Z","submitted_at":"2026-05-06T17:12:36Z","title":"Executable World Models for ARC-AGI-3 in the Era of Coding Agents","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.05138","snapshot_observed_at":"2026-08-01T23:26:15.352280Z","title":"Accepted for publication at AGI 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:15.352280Z"},"links":{"cited_paper":"/paper/2605.05138","citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:50a2cc0324ad9630d8644b86e2af9ade3d6b70712b64cadaf0a3aebf5ef9362b","observation_id":"be977e95-7f5e-4c4c-b29a-ce775a896b33","resolution":{"observed_at":"2026-08-01T23:26:15.352280Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.09650","last_updated":"2026-05-10T16:52:10Z","snapshot_observed_at":"2026-08-15T15:36:57.311055Z","submitted_at":"2026-05-10T16:52:10Z","title":"Workspace Optimization: How to Train Your Agent","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.09650","snapshot_observed_at":"2026-08-01T23:26:15.804622Z","title":"Workspace optimization: How to train your agent, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:15.804622Z"},"links":{"cited_paper":"/paper/2605.09650","citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:31e5eb91d5e6c265592be7ac99168f84de92be8c6ad40cd37adf4c9cfd9aca6c","observation_id":"86e1f36b-7400-4623-a323-69be51d1c8e4","resolution":{"observed_at":"2026-08-01T23:26:15.804622Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:26:15.684957Z","title":"Graph-based exploration for ARC-AGI-3 interactive reasoning tasks, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:15.684957Z"},"links":{"citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:5ba59ef7ea66fd2b0724970e10ed2ffec1c39f55ec7040ecf662030f3836ea76","observation_id":"d8eee82b-9faf-4e2f-b277-9f5d77c61fbc","resolution":{"observed_at":"2026-08-01T23:26:15.684957Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:26:15.988636Z","title":"Arcgentica: An ARC-AGI-3 agent harness, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:15.988636Z"},"links":{"citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:1965f03f8733c442693518999beb97d5dff24c51a7558ccc26c8cd01b154d4df","observation_id":"0e60ece3-b4a2-4fb8-9929-683708981658","resolution":{"observed_at":"2026-08-01T23:26:15.988636Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:26:15.896020Z","title":"From 0% to 36% on day 1 of ARC-AGI-3, March 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:15.896020Z"},"links":{"citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:225f6abe59361d882e607db818511dfa9481b47ed1f81f8b4266b30d16d9a42c","observation_id":"f15eeee0-2e03-411c-9ef7-1ef2baa978a4","resolution":{"observed_at":"2026-08-01T23:26:15.896020Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:26:16.199756Z","title":"Trinh, Yuhuai Wu, Quoc V","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:16.199756Z"},"links":{"citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:5d7d5e61c3dcbdfc5b6032d26db770758e338d3f8d2b13e04562081ea747426e","observation_id":"50b2c55a-6921-4539-89d3-d0b74e88571f","resolution":{"observed_at":"2026-08-01T23:26:16.199756Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:26:16.070424Z","title":"WorldCoder, a model-based LLM agent: Building world models by writing code and interacting with the environment, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:16.070424Z"},"links":{"citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:5b1634e85adf41862e8061e67107cc68421ba2b4de4e421172c3a07cf33af165","observation_id":"c16a282f-55e1-4559-9003-e8f03d21ad69","resolution":{"observed_at":"2026-08-01T23:26:16.070424Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:26:14.494784Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","version":1},"reference_index":2026,"source":"pdf_text","source_observed_at":"2026-08-01T23:26:14.494784Z"},"links":{"citing_paper":"/paper/2607.15439"},"observation_digest":"sha256:d20e0aa56b8ac08024bd22ffbb2bd91ae0a2761218514c3b762ac474abcaca30","observation_id":"6012e99f-6bd3-4b14-9c32-d633b6a3db3c","resolution":{"observed_at":"2026-08-01T23:26:14.494784Z","resolver_source":null,"status":"parse_uncertain"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.15439","last_updated":"2026-07-16T20:18:59Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-14T21:37:41.423257Z","submitted_at":"2026-07-16T20:18:59Z","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?"},"reference_resolution":{"displayed":28,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":1,"unresolved":26,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":28},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 1 inbound Pith citation observation for arXiv:2607.15439."}