TY  - RPRT
TI  - Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?
AU  - Sergey Rodionov
PY  - 2026
UR  - https://arxiv.org/abs/2607.15439
ID  - 2607.15439
ER  -