Kepler: Auditable World Models for ARC-AGI-3
The paper presents Kepler, an open-source harness for evaluating agents in interactive environments. It uses executable world models to validate hypotheses through retrospective transition checks and conditional prediction checks. The results show that Kepler achieved high scores on various games, but also highlights limitations of using public-set scores and motivates new evaluation approaches.
Save an API key to vote.