Cool website tracking the status of varios
Ciro Santilli's fork of ARC-DSL merging all pull requests needed to make tests run again on Ubuntu 25.04.
This interesting repo defines a set of input transformations that can be composed together into programs to generate the solve ARC problems.
It does not appear to have any program synthesis: it only defines the DSL and then provides manual solutions to the problems.
The README is lacking as usual, an overview of the files is:
- dsl.py: defines the transformations as Python functions
- solvers.py: defines solvers for the 400 ARC-AGI-1 training problems
Intended usage to run the solvers seems to be:Unfortunately this blows up on Ubuntu 25.04 on
git clone https://github.com/fchollet/ARC-AGI
cd ARC-AGI
git checkout 399030444e0ab0cc8b4e199870fb20b863846f34
git clone https://github.com/michaelhodel/arc-dsl
cd arc-dsl
git checkout 635de4902a5fb4e376f27333feaa396d3f5dfdcb
python main.pytest_mpapply apparently due to a Python 3.12 issue and the pull request github.com/michaelhodel/arc-dsl/pull/7 has been ignored for more than one year, so the project is largely dead.The guy behind Tufa Labs[ref]:
- github.com/pinouchon
- pinouchon.github.io
- www.youtube.com/benjamincrouzier He's also a Kapla wooden block fanatic. Funnily Ciro Santilli had seen his channel before knowing about his involvement with AI while researching for children's toys gifts.
Unlisted articles are being shown, click here to show only listed articles.