2 citations · 2 across the 4 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?
Sergey Rodionov
Our previous ARC-AGI-3 agent bundled executable world modeling, prompted simplification, and exact replay verification, leaving their individual contributions unclear. An executabl…
cs.AI2026
Executable World Models for ARC-AGI-3 in the Era of Coding Agents
Sergey Rodionov
We evaluate an initial coding-agent system for ARC-AGI-3 in which the agent maintains an executable Python world model, verifies it against previous observations, refactors it towa…