Combining Induction and Transduction for Abstract Reasoning
On the map: LLM reasoning → Multimodal reasoning
Abstract (arXiv)
When learning an input-output mapping from very few examples, is it better to first infer a latent function that explains the examples, or is it better to directly predict new test outputs, e.g. using a neural network? We study this question on ARC by training neural models for induction (inferring latent functions) and transduction (directly predicting the test output for a given test input). We train on synthetically generated variations of Python programs that solve ARC training tasks. We find inductive and transductive models solve different kinds of test problems, despite having the same training problems and sharing the same neural architecture: Inductive program synthesis excels at precise computations, and at composing multiple concepts, while transduction succeeds on fuzzier perceptual concepts. Ensembling them approaches human-level performance on ARC.
Key facts. Cited by 53 papers in the map (data through 7 Oct 2026). Placed in Multimodal reasoning, one of 17 directions in LLM reasoning. Builds on 31 of its 62 references that are in the map. First posted on arXiv 4 Nov 2024.
Builds on
31 of 62 references.
Closest ancestors · 3
Same direction, newest first
- 2024Do Large Language Models Solve ARC Visual Analogies Like People Do?13 Mar
- 2024CodeIt: Self-Improving Language Models with Prioritized Hindsight Replay7 Feb
- 2023Solving ARC visual analogies with neural embeddings and vector arithmetic: A generalized method14 Nov
Other references · 28
- 2020Retrieval-Augmented Generation for Knowledge-Intensive NLP Taskscited by 9,160
- 2021Evaluating Large Language Models Trained on Codecited by 8,053
- 2021Program Synthesis with Large Language Modelscited by 3,509
- 2022Self-Instruct: Aligning Language Models with Self-Generated Instructionscited by 2,674
- 2022Competition-Level Code Generation with AlphaCodecited by 1,427
- 2022Code as Policies: Language Model Programs for Embodied Controlcited by 1,172
- 2022PAL: Program-aided Language Modelscited by 635
- 2017RobustFill: Neural Program Learning under Noisy I/Ocited by 124
- 2023Chain of Code: Reasoning with a Language Model-Augmented Code Emulatorcited by 120
- 2023Hypothesis Search: Inductive Reasoning with Language Modelscited by 119
- 2024WorldCoder, a Model-Based LLM Agent: Building World Models by Writing Code and Interacting with the Environmentcited by 99
- 2023The ConceptARC Benchmark: Evaluating Understanding and Generalization in the ARC Domaincited by 97
16 more
- 2015Neural Programmer-Interpreterscited by 96
- 2022Top-Down Synthesis for Library Learningcited by 57
- 2018Modular meta-learningcited by 51
- 2024Code Repair with LLMs gives an Exploration-Exploitation Tradeoffcited by 50
- 2024VisualPredicator: Learning Abstract World Models with Neuro-Symbolic Predicates for Robot Planningcited by 37
- 2023Learning adaptive planning representations with natural language guidancecited by 36
- 2024Reasoning Abilities of Large Language Models: In-Depth Analysis on the Abstraction and Reasoning Corpuscited by 32
- 2024H-ARC: A Robust Estimate of Human Performance on the Abstraction and Reasoning Corpus Benchmarkcited by 32
- 2016Inference Compilation and Universal Probabilistic Programmingcited by 31
- 2021Neural-guided, Bidirectional Program Search for Abstraction and Reasoningcited by 23
- 2016Deep Amortized Inference for Probabilistic Programscited by 22
- 2022From Perception to Programs: Regularize, Overparameterize, and Amortizecited by 13
- 2023ANPL: Towards Natural Programming with Interactive Decompositioncited by 13
- 2023A Neurodiversity-Inspired Solver for the Abstraction & Reasoning Corpus (ARC) Using Visual Imagery and Program Synthesiscited by 9
- 2023A Divide-Align-Conquer Strategy for Program Synthesiscited by 7
- 2024Relational decomposition for program synthesiscited by 6
Built on by
Citing papers per year: 2024: 3; 2025: 30; 2026: 20.
53 papers.
Sort:
By area:
- 2025Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Modelscited by 381
- 2024ARC Prize 2024: Technical Reportcited by 103
- 2024The Surprising Effectiveness of Test-Time Training for Few-Shot Learningcited by 88
- 2025Revisiting Reinforcement Learning for LLM Reasoning from A Cross-Domain Perspectivecited by 75
- 2025ArcMemo: Abstract Reasoning Composition with Lifelong LLM Memorycited by 22
- 2025RLAD: Training LLMs to Discover Abstractions for Solving Reasoning Problemscited by 21
- 2025Is That Your Final Answer? Test-Time Scaling Improves Selective Question Answeringcited by 17
- 2025Product of Experts with LLMs: Boosting Performance on ARC Is a Matter of Perspectivecited by 17
- 2026LoopViT: Scaling Visual ARC with Looped Transformerscited by 14
- 2025Generating Computational Cognitive Models using Large Language Modelscited by 12
- 2025BOTS: A Unified Framework for Bayesian Online Task Selection in LLM Reinforcement Finetuningcited by 12
- 2025EasyARC: Evaluating Vision Language Models on True Visual Reasoningcited by 10
38 more
- 2025ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpuscited by 8
- 2025MIR-Bench: Can Your LLM Recognize Complicated Patterns via Many-Shot In-Context Reasoning?cited by 7
- 2025Shoot First, Ask Questions Later? Building Rational Agents that Explore and Act Like Peoplecited by 7
- 2025Diverse Inference and Verification for Advanced Reasoningcited by 6
- 2025MiGrATe: Mixed-Policy GRPO for Adaptation at Test-Timecited by 6
- 2025Think Visually, Reason Textually: Vision-Language Synergy in ARCcited by 6
- 2026Model Discovery Agent: LLM-assisted Bayesian experiment design for data-efficient discovery of mechanistic world modelscited by 6
- 2025Your Reasoning Benchmark May Not Test Reasoning: Revealing Perception Bottleneck in Abstract Reasoning Benchmarkscited by 5
- 2025Benchmarking Abstract and Reasoning Abilities Through A Theoretical Perspectivecited by 4
- 2025CausalARC: Abstract Reasoning with Causal World Modelscited by 4
- 2025Program Synthesis via Test-Time Transductioncited by 4
- 2026Transferability for General Reasoning: An Automated Curriculum for Multi-Domain RLVRcited by 4
- 2026Twin: Playing an Unknown Game with a Test-Time Digital Twincited by 4
- 2025ARC-AGI Without Pretrainingcited by 3
- 2026Symbol-Equivariant Recurrent Reasoning Modelscited by 3
- 2025Shedding Light in Task Decomposition in Program Synthesis: The Driving Force of the Synthesizer Modelcited by 2
- 2025Cognitive maps are generative programscited by 2
- 2025From Reasoning to Generalization: Knowledge-Augmented LLMs for ARC Benchmarkcited by 2
- 2025Beyond Either-Or Reasoning: Transduction and Induction as Cooperative Problem-Solving Paradigmscited by 1
- 2025GIFARC: Synthetic Dataset for Leveraging Human-Intuitive Analogies to Elevate AI Reasoningcited by 1
- 2025Bridging Reasoning to Learning: Unmasking Illusions using Complexity Out of Distribution Generalizationcited by 1
- 2025Vector Symbolic Algebras for the Abstraction and Reasoning Corpuscited by 1
- 2026Bongards at the Boundary of Perception and Reasoning: Programs or Language?cited by 1
- 2026Playing ZendoWorld: Challenging AI Agents on Active Visual Concept Inductioncited by 1
- 2026TraceViT: Grounded Trace Supervision for Visual Abstract Reasoningcited by 1
- 2026Beyond Solvability: Task Learnability as a Static Prior for LLM RL Post-Trainingcited by 1
- 2026Implicit Rule Induction with Test-Time Task Embeddings in ARC-like Taskscited by 1
- 2024Pattern Analogies: Learning to Perform Programmatic Image Edits by Analogycited by 0
- 2025Channel-Wise MLPs Improve the Generalization of Recurrent Convolutional Networkscited by 0
- 2025Resource Allocation in Hybrid Radio-Optical IoT Networks using GNN with Multi-task Learningcited by 0
- 2025From Priors to Predictions: Explaining and Visualizing Human Reasoning in a Graph Neural Network Frameworkcited by 0
- 2026Transformer See, Transformer Do: Copying as an Intermediate Step in Learning Analogical Reasoningcited by 0
- 2026Modality-Driven Search with Holistic Trace Judging for ARC-AGI-2cited by 0
- 2026BDH-CQ: In-Context Learning with Recurrent Latent Reasoningcited by 0
- 2026Position: Reasoning is a Learnable Rule-Based Processcited by 0
- 2026Narcissus: Program Synthesis Using Context-Aware LLM Approximationscited by 0
- 2026World-Time Compute with Verified Code World Modelscited by 0
- 2026Exactness at Inference: A Representational Criterion for Out-of-Distribution Generalizationcited by 0
50 most cited of 53 All 53 (JSON)
- 2026VISTA: A Visual Harness for Reasoning in an Interactive World1 Oct 2026
- 2026On-the-fly Weight Generation: A Hypernetwork Proof of Concept on ARC-1D30 Sep 2026
- 2026PotARCin: Multi-Dimensional Evaluation of Skill Acquisition in Abstract Reasoning Tasks23 Sep 2026
- 2026Exactness at Inference: A Representational Criterion for Out-of-Distribution Generalization21 Sep 2026
- 2026Implicit Rule Induction with Test-Time Task Embeddings in ARC-like Tasks18 Sep 2026
- 2026Narcissus: Program Synthesis Using Context-Aware LLM Approximations26 Aug 2026
- 2026Twin: Playing an Unknown Game with a Test-Time Digital Twin14 Aug 2026
- 2026BDH-CQ: In-Context Learning with Recurrent Latent Reasoning10 Aug 2026
- 2026Model Discovery Agent: LLM-assisted Bayesian experiment design for data-efficient discovery of mechanistic world models10 Aug 2026
- 2026Beyond Solvability: Task Learnability as a Static Prior for LLM RL Post-Training10 Aug 2026
- 2026TraceViT: Grounded Trace Supervision for Visual Abstract Reasoning31 Jul 2026
- 2026Playing ZendoWorld: Challenging AI Agents on Active Visual Concept Induction9 Jul 2026
38 more
- 2026World-Time Compute with Verified Code World Models7 Jul 2026
- 2026Modality-Driven Search with Holistic Trace Judging for ARC-AGI-230 Jun 2026
- 2026Transferability for General Reasoning: An Automated Curriculum for Multi-Domain RLVR23 Jun 2026
- 2026Position: Reasoning is a Learnable Rule-Based Process29 May 2026
- 2026Transformer See, Transformer Do: Copying as an Intermediate Step in Learning Analogical Reasoning7 Apr 2026
- 2026Symbol-Equivariant Recurrent Reasoning Models2 Mar 2026
- 2026Bongards at the Boundary of Perception and Reasoning: Programs or Language?3 Feb 2026
- 2026LoopViT: Scaling Visual ARC with Looped Transformers2 Feb 2026
- 2025Your Reasoning Benchmark May Not Test Reasoning: Revealing Perception Bottleneck in Abstract Reasoning Benchmarks24 Dec 2025
- 2025From Priors to Predictions: Explaining and Visualizing Human Reasoning in a Graph Neural Network Framework19 Dec 2025
- 2025ARC-AGI Without Pretraining5 Dec 2025
- 2025Think Visually, Reason Textually: Vision-Language Synergy in ARC19 Nov 2025
- 2025Vector Symbolic Algebras for the Abstraction and Reasoning Corpus11 Nov 2025
- 2025ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus31 Oct 2025
- 2025BOTS: A Unified Framework for Bayesian Online Task Selection in LLM Reinforcement Finetuning30 Oct 2025
- 2025Resource Allocation in Hybrid Radio-Optical IoT Networks using GNN with Multi-task Learning29 Oct 2025
- 2025Shoot First, Ask Questions Later? Building Rational Agents that Explore and Act Like People23 Oct 2025
- 2025Bridging Reasoning to Learning: Unmasking Illusions using Complexity Out of Distribution Generalization6 Oct 2025
- 2025RLAD: Training LLMs to Discover Abstractions for Solving Reasoning Problems2 Oct 2025
- 2025Program Synthesis via Test-Time Transduction22 Sep 2025
- 2025ArcMemo: Abstract Reasoning Composition with Lifelong LLM Memory4 Sep 2025
- 2025CausalARC: Abstract Reasoning with Causal World Models3 Sep 2025
- 2025MiGrATe: Mixed-Policy GRPO for Adaptation at Test-Time12 Aug 2025
- 2025Channel-Wise MLPs Improve the Generalization of Recurrent Convolutional Networks6 Aug 2025
- 2025Revisiting Reinforcement Learning for LLM Reasoning from A Cross-Domain Perspective17 Jun 2025
- 2025EasyARC: Evaluating Vision Language Models on True Visual Reasoning13 Jun 2025
- 2025Benchmarking Abstract and Reasoning Abilities Through A Theoretical Perspective28 May 2025
- 2025GIFARC: Synthetic Dataset for Leveraging Human-Intuitive Analogies to Elevate AI Reasoning27 May 2025
- 2025From Reasoning to Generalization: Knowledge-Augmented LLMs for ARC Benchmark23 May 2025
- 2025Beyond Either-Or Reasoning: Transduction and Induction as Cooperative Problem-Solving Paradigms20 May 2025
- 2025Product of Experts with LLMs: Boosting Performance on ARC Is a Matter of Perspective8 May 2025
- 2025Cognitive maps are generative programs29 Apr 2025
- 2025Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Models12 Mar 2025
- 2025Shedding Light in Task Decomposition in Program Synthesis: The Driving Force of the Synthesizer Model11 Mar 2025
- 2025Is That Your Final Answer? Test-Time Scaling Improves Selective Question Answering19 Feb 2025
- 2025Diverse Inference and Verification for Advanced Reasoning14 Feb 2025
- 2025MIR-Bench: Can Your LLM Recognize Complicated Patterns via Many-Shot In-Context Reasoning?14 Feb 2025
- 2025Generating Computational Cognitive Models using Large Language Models2 Feb 2025
50 newest of 53 All 53 (JSON)
- 2025Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Modelscited by 381
- 2024ARC Prize 2024: Technical Reportcited by 103
- 2025Revisiting Reinforcement Learning for LLM Reasoning from A Cross-Domain Perspectivecited by 75
- 2025ArcMemo: Abstract Reasoning Composition with Lifelong LLM Memorycited by 22
- 2025Is That Your Final Answer? Test-Time Scaling Improves Selective Question Answeringcited by 17
- 2025Product of Experts with LLMs: Boosting Performance on ARC Is a Matter of Perspectivecited by 17
- 2026LoopViT: Scaling Visual ARC with Looped Transformerscited by 14
- 2025EasyARC: Evaluating Vision Language Models on True Visual Reasoningcited by 10
- 2025MIR-Bench: Can Your LLM Recognize Complicated Patterns via Many-Shot In-Context Reasoning?cited by 7
- 2025Diverse Inference and Verification for Advanced Reasoningcited by 6
- 2025MiGrATe: Mixed-Policy GRPO for Adaptation at Test-Timecited by 6
- 2025Your Reasoning Benchmark May Not Test Reasoning: Revealing Perception Bottleneck in Abstract Reasoning Benchmarkscited by 5
12 most cited of 23 All 23 (JSON)
- 2026VISTA: A Visual Harness for Reasoning in an Interactive World1 Oct 2026
- 2026BDH-CQ: In-Context Learning with Recurrent Latent Reasoning10 Aug 2026
- 2026Beyond Solvability: Task Learnability as a Static Prior for LLM RL Post-Training10 Aug 2026
- 2026Modality-Driven Search with Holistic Trace Judging for ARC-AGI-230 Jun 2026
- 2026Transformer See, Transformer Do: Copying as an Intermediate Step in Learning Analogical Reasoning7 Apr 2026
- 2026Symbol-Equivariant Recurrent Reasoning Models2 Mar 2026
- 2026Bongards at the Boundary of Perception and Reasoning: Programs or Language?3 Feb 2026
- 2026LoopViT: Scaling Visual ARC with Looped Transformers2 Feb 2026
- 2025Your Reasoning Benchmark May Not Test Reasoning: Revealing Perception Bottleneck in Abstract Reasoning Benchmarks24 Dec 2025
- 2025Bridging Reasoning to Learning: Unmasking Illusions using Complexity Out of Distribution Generalization6 Oct 2025
- 2025ArcMemo: Abstract Reasoning Composition with Lifelong LLM Memory4 Sep 2025
- 2025MiGrATe: Mixed-Policy GRPO for Adaptation at Test-Time12 Aug 2025
12 newest of 23 All 23 (JSON)
- 2026Model Discovery Agent: LLM-assisted Bayesian experiment design for data-efficient discovery of mechanistic world modelscited by 6
- 2025CausalARC: Abstract Reasoning with Causal World Modelscited by 4
- 2026Twin: Playing an Unknown Game with a Test-Time Digital Twincited by 4
- 2026World-Time Compute with Verified Code World Modelscited by 0
- 2026Twin: Playing an Unknown Game with a Test-Time Digital Twin14 Aug 2026
- 2026Model Discovery Agent: LLM-assisted Bayesian experiment design for data-efficient discovery of mechanistic world models10 Aug 2026
- 2026World-Time Compute with Verified Code World Models7 Jul 2026
- 2025CausalARC: Abstract Reasoning with Causal World Models3 Sep 2025
- 2024The Surprising Effectiveness of Test-Time Training for Few-Shot Learningcited by 88
- 2025RLAD: Training LLMs to Discover Abstractions for Solving Reasoning Problemscited by 21
- 2025Generating Computational Cognitive Models using Large Language Modelscited by 12
- 2025ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpuscited by 8
- 2025Think Visually, Reason Textually: Vision-Language Synergy in ARCcited by 6
- 2025Program Synthesis via Test-Time Transductioncited by 4
- 2026Transferability for General Reasoning: An Automated Curriculum for Multi-Domain RLVRcited by 4
- 2025ARC-AGI Without Pretrainingcited by 3
- 2025Shedding Light in Task Decomposition in Program Synthesis: The Driving Force of the Synthesizer Modelcited by 2
- 2025Cognitive maps are generative programscited by 2
- 2025Beyond Either-Or Reasoning: Transduction and Induction as Cooperative Problem-Solving Paradigmscited by 1
- 2025Vector Symbolic Algebras for the Abstraction and Reasoning Corpuscited by 1
12 most cited of 23 All 23 (JSON)
- 2026On-the-fly Weight Generation: A Hypernetwork Proof of Concept on ARC-1D30 Sep 2026
- 2026PotARCin: Multi-Dimensional Evaluation of Skill Acquisition in Abstract Reasoning Tasks23 Sep 2026
- 2026Exactness at Inference: A Representational Criterion for Out-of-Distribution Generalization21 Sep 2026
- 2026Implicit Rule Induction with Test-Time Task Embeddings in ARC-like Tasks18 Sep 2026
- 2026Narcissus: Program Synthesis Using Context-Aware LLM Approximations26 Aug 2026
- 2026TraceViT: Grounded Trace Supervision for Visual Abstract Reasoning31 Jul 2026
- 2026Transferability for General Reasoning: An Automated Curriculum for Multi-Domain RLVR23 Jun 2026
- 2026Position: Reasoning is a Learnable Rule-Based Process29 May 2026
- 2025From Priors to Predictions: Explaining and Visualizing Human Reasoning in a Graph Neural Network Framework19 Dec 2025
- 2025ARC-AGI Without Pretraining5 Dec 2025
- 2025Think Visually, Reason Textually: Vision-Language Synergy in ARC19 Nov 2025
- 2025Vector Symbolic Algebras for the Abstraction and Reasoning Corpus11 Nov 2025
12 newest of 23 All 23 (JSON)
Similar, not cited
Close in wording, no citation either way
- 2024Neural networks for abstraction and reasoning: Towards broad generalization in machines
- 2024Untrained neural networks can demonstrate memorization-independent abstract reasoning
- 2024Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
- 2025NSA: Neuro-symbolic ARC Challenge
- 2024Grokked Transformers are Implicit Reasoners: A Mechanistic Journey to the Edge of Generalization
- 2026In-Context Learning Amplifies a Latent Symbolic Circuit
- 2025Implicit Reasoning in Transformers is Reasoning through Shortcuts
- 2026A Systematic Study of Small Language Models on Abstract Reasoning Tasks