What this project asks
Game benchmarks such as GameWorld mostly test play under known rules. ARC-AGI-3 tests discovering rules, but not for an agent working from screenshots with keyboard and mouse. Real software has the same problem: nobody tells you what a switch, a setting or an unfamiliar control does, and a skilled user tries it, watches what happens, and then decides. Rules can be drawn from generated families and checked exactly, so this is a good training environment as well as a benchmark.
What tasks can look like
Any task that tests the question fits. Some directions:
- A game level whose rules (switches, doors, keys, counters, timing) are unknown until probed.
- An application with unfamiliar controls whose effect the agent has to work out before using them for a goal.
- Probes that cost something, so the agent has to weigh information against risk.
- Held-out appearances, parameters, or mechanisms the agent has never seen.
What a verifier here should establish
- The goal was reached and the constraints held, from the system's own state.
- The rule could be identified from the probes available.
- Optionally, whether the agent confirmed the rule before acting on it.
Worth reporting
- Probes used against the minimum needed
- Success on held-out mechanisms
For example
A door is controlled by switches A and B, and walking to the door steps on B. Flipping A opens the door; stepping on B closes it. Only "exactly one of A and B is on" survives, and the agent tests it by predicting that stepping on B again will open the door.