Superhuman Induction: Autonomous Algorithm Discovery in ARC-AGI via Latent Hypothesis Selection

The Abstraction and Reasoning Corpus (ARC-AGI) is a benchmark designed to measure the human-like ability to induce general-purpose rules from sparse data. While Transformer-based Large Language Models (LLMs) excel at template-matching, they consistently fail at the "core knowledge" tasks of ARC that require symbolic grounding and structural induction. We present a Structural Induction Agent based on Active Inference that treats algorithm discovery as a model selection problem. By navigating a discrete hypothesis space of architectural primitives, the agent autonomously identifies the latent generative rule of a puzzle from as few as three examples. Our system achieved 100% accuracy on complex multi-step transformations. This research demonstrates that general intelligence can be formalized as the optimal minimization of informational surprise across algorithmic hypotheses.

Authors

Institutions

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-03-26
DOI
https://doi.org/10.5281/zenodo.19233865
Primary Topic
Generative Adversarial Networks and Image Synthesis
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Superhuman Induction: Autonomous Algorithm Discovery in ARC-AGI via Latent Hypothesis Selection

Rahul Chouhan, Dheeraj Parmar
Zenodo (CERN European Organization for Nuclear Research)
Generative Adversarial Networks and Image Synthesis
article

Superhuman Induction: Autonomous Algorithm Discovery in ARC-AGI via Latent Hypothesis Selection

Rahul Chouhan, Dheeraj Parmar
article en

Abstract

The Abstraction and Reasoning Corpus (ARC-AGI) is a benchmark designed to measure the human-like ability to induce general-purpose rules from sparse data. While Transformer-based Large Language Models (LLMs) excel at template-matching, they consistently fail at the "core knowledge" tasks of ARC that require symbolic grounding and structural induction. We present a Structural Induction Agent based on Active Inference that treats algorithm discovery as a model selection problem. By navigating a discrete hypothesis space of architectural primitives, the agent autonomously identifies the latent generative rule of a puzzle from as few as three examples. Our system achieved 100% accuracy on complex multi-step transformations. This research demonstrates that general intelligence can be formalized as the optimal minimization of informational surprise across algorithmic hypotheses.

Zenodo (CERN European Organization for Nuclear Research)
Emerson (Sweden) (SE)
Openalex Percentile: Top 6%
Generative Adversarial Networks and Image Synthesis
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.