Paper Citation Record · LEDGER

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.15439 v1

Coverage vector

measured 28 of 28 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T23:26:16.199756Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-31T12:16:31.854696Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

28 of 28 outbound references displayed

verified exact0
verified fuzzy0
unresolved26
parse uncertain1
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4fe2bed1-117f-4cd5-abf9-7819e895540f · outbound

This paper cites ARC-AGI-3: A New Challenge for Frontier Agentic Intelligence.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? ARC-AGI-3: A New Challenge for Frontier Agentic Intelligence

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:12.946874Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7557d408-b0fb-4c14-93c3-d84aa2e3a1c5 · outbound

This paper cites Duck harness: Winning solution for ARC-AGI-3 milestone 1, July 2026.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? Duck harness: Winning solution for ARC-AGI-3 milestone 1, July 2026

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:12.985790Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f506a87b-e0b4-4bb0-8f4f-94c63e62ae40 · outbound

This paper cites OPINE-World: Programmatic World Modeling with Ontology-error-Prioritized Interactive Exploration for ARC-AGI-3.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? OPINE-World: Programmatic World Modeling with Ontology-error-Prioritized Interactive Exploration for ARC-AGI-3

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:13.127120Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11a864e7-ee63-451d-9c5e-e8cf85be3eca · outbound

This paper cites Generating code world models with large language models guided by monte carlo tree search, 2024.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? Generating code world models with large language models guided by monte carlo tree search, 2024

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:13.198100Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03a93f9c-c38f-415a-9afa-c9b3df485418 · outbound

This paper cites Tenenbaum.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? Tenenbaum

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:13.316793Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74883d8a-05bd-44a7-888d-cde9015fa249 · outbound

This paper cites Olausson, Muxin Liu, Joshua B.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? Olausson, Muxin Liu, Joshua B

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:13.427523Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65239c74-5bdd-46f0-8c47-d4466c9a6f71 · outbound

This paper cites A tutorial introduction to the minimum description length principle, 2004.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? A tutorial introduction to the minimum description length principle, 2004

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:13.545016Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d9b2661-ead2-443b-9aba-0330a0f56b4a · outbound

This paper cites World models, 2018.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? World models, 2018

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:13.663472Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 444d6ca3-11a3-4079-bc2f-c6f1c362c1cf · outbound

This paper cites Measuring human performance on ARC-AGI-3, April 2026.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? Measuring human performance on ARC-AGI-3, April 2026

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:13.812125Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 469e1e84-0fad-4519-b092-f6dab9f75daf · outbound

This paper cites Analyzing GPT-5.5 and Opus 4.7 with ARC-AGI-3, May 2026.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? Analyzing GPT-5.5 and Opus 4.7 with ARC-AGI-3, May 2026

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:13.941670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4b6a71a-41a5-4f99-a81c-1b2134c5d31e · outbound

This paper cites Chiu, Celine Lee, Wenting Zhao, and Kevin Ellis.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? Chiu, Celine Lee, Wenting Zhao, and Kevin Ellis

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:14.043452Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 56423276-c9d3-45f6-823e-870ab19f2ac6 · outbound

This paper cites Mankowitz, Esme Sutherland Robson, Pushmeet Kohli, Nando de Freitas, Koray Kavukcuoglu, and Oriol Vinyals.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? Mankowitz, Esme Sutherland Robson, Pushmeet Kohli, Nando de Freitas, Koray Kavukcuoglu, and Oriol Vinyals

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:14.204818Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d1ebd13-d9d2-400a-942c-3f21f818c92f · outbound

This paper cites Introducing GPT-5.4.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? Introducing GPT-5.4

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:14.380731Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df703697-a973-47b9-9f79-85b16a0d2e71 · outbound

This paper cites Introducing GPT-5.5.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? Introducing GPT-5.5

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:14.622122Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19c3730e-d0af-44ed-baae-fc576c5bb19f · outbound

This paper cites GPT-5.6: Frontier intelligence that scales with your ambition.https://openai.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? GPT-5.6: Frontier intelligence that scales with your ambition.https://openai

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:14.743681Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8bd9e15-84ab-46b8-ae31-d83e885c257b · outbound

This paper cites GPT-5.6 in ChatGPT.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? GPT-5.6 in ChatGPT

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:14.862088Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6bb49df-8e74-47ff-8ceb-6432ba2f30c8 · outbound

This paper cites Codex CLI.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? Codex CLI

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:15.011937Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1cf897c-1820-462e-be0b-3f7e201e6ba3 · outbound

This paper cites AGI Maze as a Benchmark Framework for World-Modeling Agents.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? AGI Maze as a Benchmark Framework for World-Modeling Agents

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:15.120811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5070ed04-59ab-4f8a-8096-3e59c74a315b · outbound

This paper cites Executable world models for ARC-AGI-3 in the era of coding agents,.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? Executable world models for ARC-AGI-3 in the era of coding agents,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:15.203151Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b281007a-1cb4-4d24-9a07-21d990e3e0a3 · outbound

This paper cites Pawan Kumar, Emilien Dupont, Francisco J.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? Pawan Kumar, Emilien Dupont, Francisco J

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:15.526518Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be977e95-7f5e-4c4c-b29a-ce775a896b33 · outbound

This paper cites Executable World Models for ARC-AGI-3 in the Era of Coding Agents.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? Executable World Models for ARC-AGI-3 in the Era of Coding Agents

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:15.352280Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86e1f36b-7400-4623-a323-69be51d1c8e4 · outbound

This paper cites Workspace Optimization: How to Train Your Agent.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? Workspace Optimization: How to Train Your Agent

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:15.804622Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8eee82b-9faf-4e2f-b277-9f5d77c61fbc · outbound

This paper cites Graph-based exploration for ARC-AGI-3 interactive reasoning tasks, 2025.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? Graph-based exploration for ARC-AGI-3 interactive reasoning tasks, 2025

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:15.684957Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e60ece3-b4a2-4fb8-9929-683708981658 · outbound

This paper cites Arcgentica: An ARC-AGI-3 agent harness, 2026.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? Arcgentica: An ARC-AGI-3 agent harness, 2026

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:15.988636Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f15eeee0-2e03-411c-9ef7-1ef2baa978a4 · outbound

This paper cites From 0% to 36% on day 1 of ARC-AGI-3, March 2026.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? From 0% to 36% on day 1 of ARC-AGI-3, March 2026

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:15.896020Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50b2c55a-6921-4539-89d3-d0b74e88571f · outbound

This paper cites Trinh, Yuhuai Wu, Quoc V.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? Trinh, Yuhuai Wu, Quoc V

Reference 26

Resolution: malformed identifier; no resolver link, observed 2026-08-01T23:26:16.199756Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c16a282f-55e1-4559-9003-e8f03d21ad69 · outbound

This paper cites WorldCoder, a model-based LLM agent: Building world models by writing code and interacting with the environment, 2024.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? WorldCoder, a model-based LLM agent: Building world models by writing code and interacting with the environment, 2024

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:16.070424Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6012e99f-6bd3-4b14-9c32-d633b6a3db3c · outbound

This paper cites an unresolved cited work.

Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? Unresolved cited work

Reference 2026

Resolution: parse uncertain; no resolver link, observed 2026-08-01T23:26:14.494784Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 0dd83a14-1faa-45e6-a982-18904bdc67eb · inbound

Tycho: Active Abstraction with Programmatic World Models for ARC-AGI-3 cites this paper.

Tycho: Active Abstraction with Programmatic World Models for ARC-AGI-3 Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?

Reference 47

Resolution: unresolved; no resolver link, observed 2026-07-31T12:16:31.854696Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.