Collection of ARC-AGI-2 solvers and abstractions produced by refinement - View it on GitHub