Generating and Verifying Synthetic Interactive Environments for ARC-AGI-3
How the games and demonstrations were created and checked, with a historical study of policies that act without observing the screen.
Writing
Reports and essays on AI, reasoning, and generalization.
Understanding requires constraint-respecting reasoning with deep abstractions.
A personal essay on ARC-AGI, abstraction, and constraints in reasoning.