Reproduce “Ceci n'est pas une pipe -- Toward a Symbolic Solver for the Abstraction and Reasoning Corpus Using Evolutionary Computation” on OpenResearch

Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.

Universal app for Apple silicon and Intel. Requires macOS 11 or later.

About this paper

Luca Favole, Giorgio Mongardi, Giovanni Squillero, Alberto Tonda

FairlySymbolic jointly evolves a grid parser, symbolic program, and output projector to solve few-example colored-grid puzzles. It represents scenes as graphs and scores imperfect predictions using object and pixel differences. At pass@2 with 3,840 seconds per task, it solved 110 of 400 ARC-AGI-1 public tasks, but only 3 of 120 ARC-AGI-2 public tasks.

Summary by alphaXiv.

Tip: change arxiv.org to autoarxiv.org in any arXiv abstract link to open the paper here.