paper-with-me

홈 › Papers

ConceptSearch: Towards Efficient Program Search Using LLMs for Abstraction and Reasoning Corpus (ARC)

2024-12-10 · Kartik Singhal, Gautam Shroff

The Abstraction and Reasoning Corpus (ARC) poses a significant challenge to artificial intelligence, demanding broad generalization and few-shot learning capabilities that remain elusive for current deep learning methods, including large language models (LLMs). While LLMs excel in program synthesis, their direct application to ARC yields limited success. To address this, we introduce ConceptSearch, a novel function-search algorithm that leverages LLMs for program generation and employs a concept-based scoring method to guide the search efficiently. Unlike simplistic pixel-based metrics like Hamming distance, ConceptSearch evaluates programs on their ability to capture the underlying transformation concept reflected in the input-output examples. We explore three scoring functions: Hamming distance, a CNN-based scoring function, and an LLM-based natural language scoring function. Experimental results demonstrate the effectiveness of ConceptSearch, achieving a significant performance improvement over direct prompting with GPT-4. Moreover, our novel concept-based scoring exhibits up to 30% greater efficiency compared to Hamming distance, measured in terms of the number of iterations required to reach the correct solution. These findings highlight the potential of LLM-driven program search when integrated with concept-based guidance for tackling challenging generalization problems like ARC.

📄 PDF Abstract BibTeX arXiv:2412.07322

Code (1)

kksinghal/concept-search 공식 구현

Tasks

ARCFew-Shot LearningProgram Synthesis

Methods 이 논문이 사용한 방법론

Attention 설명 없음
Adam 설명 없음
Dropout Dropout is a regularization technique for neural networks that drops a unit (along with connections) at training time with a specified probability $p$ (a common value is…
Position-Wise Feed-Forward Layer 설명 없음
Softmax The Softmax output function transforms a previous layer's output into a vector of probabilities. It is commonly used for multiclass classification. Given an input vector $x$…
Dense Connections Dense Connections, or Fully Connected Connections, are a type of layer in a deep neural network that use a linear operation where every input is connected to every output…
BPE Byte Pair Encoding, or BPE, is a subword segmentation algorithm that encodes rare and unknown words as sequences of subword units. The intuition is that various word…
Linear Layer A Linear Layer is a projection $\mathbf{XW + b}$.

Similar Papers 제목 키워드 기반

Neural-guided, Bidirectional Program Search for Abstraction and Reasoning

2021-10-22 · Simon Alford, Anshula Gandhi, Akshay Rangamani, Andrzej Banburski 외

One of the challenges facing artificial intelligence research today is designing systems capable of utilizing systematic reasoning to generalize to new tasks. The Abstraction and Reasoning Corpus (ARC) measures such a ca…

ARCProgram SynthesisVisual Reasoning

ShapeLib: Designing a library of programmatic 3D shape abstractions with Large Language Models

2025-02-13 · R. Kenny Jones, Paul Guerrero, Niloy J. Mitra, Daniel Ritchie

We present ShapeLib, the first method that leverages the priors of LLMs to design libraries of programmatic 3D shape abstractions. Our system accepts two forms of design intent: text descriptions of functions to include …

Synthetic Data Generation

Hypothesis Search: Inductive Reasoning with Language Models

2023-09-11 · Ruocheng Wang, Eric Zelikman, Gabriel Poesia, Yewen Pu 외

Inductive reasoning is a core problem-solving capacity: humans can identify underlying principles from a few examples, which robustly generalize to novel scenarios. Recent work evaluates large language models (LLMs) on i…

ARCIn-Context Learning

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus

2024-05-10 · Filipe Marinho Rocha, Inês Dutra, Vítor Santos Costa

The Abstraction and Reasoning Corpus (ARC) is a general artificial intelligence benchmark that is currently unsolvable by any Machine Learning method, including Large Language Models (LLMs). It demands strong generalizat…

ARCInductive logic programmingProgram Synthesis

Large Language Model (LLM) as a System of Multiple Expert Agents: An Approach to solve the Abstraction and Reasoning Corpus (ARC) Challenge

2023-10-08 · John Chong Min Tan, Mehul Motani

We attempt to solve the Abstraction and Reasoning Corpus (ARC) Challenge using Large Language Models (LLMs) as a system of multiple expert agents. Using the flexibility of LLMs to be prompted to do various novel tasks us…

ARCLanguage ModelingLanguage ModellingLarge Language Model+1