= Feature extraction
{synonym}

These section lists common visual primitives that a solver must first extract in order to infer solutions.

Some of these have a lot of prior world content, others less.

Many people have come up with the same idea on the Discord. Some nicely call it <domain-specific language>[DSL].

Implementations:
* <ARC-DSL>


Primitive

ARC-AGI-2 problem <span class="meta">/</span> Primitive

{c}

https://github.com/arc-dsl-2/arc-dsl-2

<Ciro Santilli>'s fork of <ARC-DSL> merging all pull requests needed to make tests run again on <Ubuntu 25.04>.


ARC-DSL-2

https://github.com/michaelhodel/re-arc

By the author of <ARC-DSL>.

README says:
> This repository presents code to procedurally generate examples for the ARC training tasks. For each of the 400 tasks, an example generator is provided.

https://arxiv.org/html/2404.07353v1 says:
> Each generator is a standalone Python function merely making use of the <ARC-DSL>[DSL] and functions from the random module from the standard library. The median generator consists of 40 lines of code and uses 22 DSL primitive calls and 10 calls to the random module.

Cool!

Original:

\Image[https://web.archive.org/web/20250216160803im_/https://github.com/michaelhodel/re-arc/raw/main/00d62c1b_original.png]

Generated:

\Image[https://web.archive.org/web/20250216160803im_/https://github.com/michaelhodel/re-arc/raw/main/00d62c1b_generated.png]


re-arc

{created=2025-10-18}

https://github.com/arc-dsl-2/arc-dsl-2

I've created a quick fork of <ARC-DSL> which defines a hand crafted Domain Specific Language (DSL) approach to help solve <ARC-AGI> problems.

I basically just merged outstanding pull requests on the original repo that were needed to make things run.

It would be cool to see if those rules also solve <ARC-AGI-2> problems well, but lazy now.

<ARC-AGI-2> is a very interesting benchmark which mixes some symbolic and other visual elements, and is readily solvable by non-expert humans, but has so far resisted transformers to a large degree.

Part of me would like to focus more on less visual aspects of AI, but it is still of interest.

It is funny how many early (semi)-retired fintech/bigtech bros that are interested in the project, I saw several of them on the forums.

I'd be tempted if I were in that position too I must confess. Maybe in 15 years time for me the way things are looking.

Kudos to these people who do something cool and open when they don't need money: https://www.reddit.com/r/Fire/comments/15x4w7r/comment/jx7dn16/ It is also the case of <Jimmy Wales> from <Wikipedia> for example, who used to work in finance.

Announcements:
* https://mastodon.social/@cirosantilli/115391408509591927
* https://x.com/cirosantilli/status/1979448691036410280
* https://www.linkedin.com/feed/update/urn:li:activity:7385215044638310401/


ARC-AGI-2

Updates <span class="meta">/</span> ARC-AGI-2

{c}

https://github.com/michaelhodel/arc-dsl

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:
* https://github.com/michaelhodel/arc-dsl/blob/635de4902a5fb4e376f27333feaa396d3f5dfdcb/dsl.py[dsl.py]: defines the transformations as Python functions
* https://github.com/michaelhodel/arc-dsl/blob/635de4902a5fb4e376f27333feaa396d3f5dfdcb/solvers.py[solvers.py]: defines solvers for the 400 \x[ARC-AGI-1 training problems]{magic}

Intended usage to run the solvers seems to be:
``
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.py
``
Unfortunately this blows up on <Ubuntu 25.04> on `test_mpapply` apparently due to a <Python 3.12> issue and the pull request https://github.com/michaelhodel/arc-dsl/pull/7 has been ignored for more than one year, so the project is largely dead.


Ciro Santilli @cirosantilli 37

 Incoming links: ARC-DSL