Modality-Driven Search with Holistic Trace Judging for ARC-AGI-2

arXiv:2606.31543 · cs.AI, cs.CL, cs.LG · Submitted 2026-06-30 · Read on arXiv

cs.AI, cs.CL, cs.LG

Submitted: 2026-06-30

Updated: 2026-06-30

Code: https://github.com/beetree/ARC-AGI

Terminology

• Trace — 44× in this paper · explained in 2 episodes
• Ablation — 24× in this paper · explained in 1 episode
• Accuracy — 24× in this paper · explained in 1 episode
• Benchmark — 19× in this paper · explained in 2 episodes
• Abstraction — 15× in this paper · explained in 1 episode
• Reasoning Traces — 15× in this paper · explained in 3 episodes
• Consistency — 12× in this paper · explained in 3 episodes
• Generalization — 12× in this paper · explained in 13 episodes
• Verification — 10× in this paper · explained in 2 episodes
• Core — 7× in this paper · explained in 2 episodes
• Self-consistency — 7× in this paper · explained in 2 episodes
• Adaptation — 6× in this paper · explained in 1 episode
• Iterative Refinement — 6× in this paper · explained in 3 episodes
• LLM-as-a-Judge — 5× in this paper · explained in 3 episodes
• Abstraction and Reasoning Corpus — 4× in this paper
• Foundation Model — 4× in this paper · explained in 3 episodes
• Aggregation — 3× in this paper · explained in 1 episode
• Calibration — 3× in this paper · explained in 7 episodes
• Foundation Models — 3× in this paper · explained in 7 episodes
• Benchmarking — 2× in this paper · explained in 3 episodes
• Chain-of-Thought Prompting — 2× in this paper · explained in 2 episodes
• Data Augmentation — 2× in this paper · explained in 7 episodes
• LLM judge — 2× in this paper · explained in 2 episodes
• Prompt Engineering — 2× in this paper · explained in 4 episodes
• Reinforcement Learning — 2× in this paper · explained in 4 episodes
• Scaffolding — 2× in this paper · explained in 3 episodes
• Ablation Studies — 1× in this paper · explained in 1 episode
• Adam — 1× in this paper · explained in 2 episodes
• Archetype — 1× in this paper · explained in 1 episode
• Distribution Shift — 1× in this paper · explained in 6 episodes
• Failure Modes — 1× in this paper · explained in 3 episodes
• Grounding — 1× in this paper · explained in 3 episodes
• Hallucination — 1× in this paper · explained in 3 episodes
• Interpretability — 1× in this paper · explained in 15 episodes
• LLM Integration — 1× in this paper · explained in 2 episodes
• Parsimony — 1× in this paper · explained in 2 episodes
• Robustness — 1× in this paper · explained in 5 episodes
• Structured Reasoning — 1× in this paper · explained in 3 episodes
• Transformer — 1× in this paper · explained in 2 episodes
• Transformer Models — 1× in this paper · explained in 2 episodes

Sources

• On the Measure of Intelligence
• ARC Prize 2024: Technical Report
• First Steps of an Approach to the ARC Challenge based on Descriptive Grid Models and the Minimum Description Length Principle
• Addressing the Abstraction and Reasoning Corpus via Procedural Example Generation
• ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus
• Towards Efficient Neurally-Guided Program Induction for ARC-AGI

Related papers

• MAVEN-T: Reinforced Heterogeneous Distillation for Real-Time Multi-Agent Trajectory Prediction
• Model Discovery Agent: LLM-assisted Bayesian experiment design for data-efficient discovery of mechanistic world models
• The Clinician's Veto: Navigating Trust, Liability, and Uncertainty in Autonomous AI Prescribing
• MindHelper: Closed-Loop Embodied Mental-State Reasoning for Precision Intervention
• Incumbent Advantage: Brand Bias and Cognitive Manipulation Dynamics in LLM Recommendation Systems
• VSAL: A Vision Solver with Adaptive Layouts for Graph Property Detection