A dataset of 4,940 self-defining ARC-AGI-style reasoning tasks, authored
as compressed Hy programs over a frozen DSL (library.hy) and materialized into
raw input/output grids. Each task is a single transformation rule expressed as a
constructive program for the inputs plus a structural to-output that derives
every output from its input — so the rule is guaranteed self-consistent across
all of the task's pairs.
This corpus was generated by an autonomous LLM… See the full description on the dataset page:
https://huggingface.co/datasets/Fraser/arc-agi-synthetic.
