neurodiffeq vs ARC-AGI

Facts only. Adjust the shortlist without leaving this page.