The new neuro‑symbolic framework proposes candidate transformations from a fixed domain‑specific language of atomic patterns. It extracts object‑level structure from grids, then filters hypotheses by cross‑example consistency. By combining neural priors with symbolic reasoning, the system achieves reliable combinatorial generalization on the ARC benchmark. Practitioners can now integrate this compositional approach into LLMs-augmented pipelines.