Papers Program induction
“Program induction” 태그가 달린 논문 67편 · 필터 해제
LLM-Guided Probabilistic Program Induction for POMDP Model Estimation
Partially Observable Markov Decision Processes (POMDPs) model decision making under uncertainty. While there are many approaches to approximately solving POMDPs, we aim to address the problem of learning such models. In …
Decision MakingDecision Making Under UncertaintyProgram inductionLearning Object Placement Programs for Indoor Scene Synthesis with Iterative Self Training
Data driven and autoregressive indoor scene synthesis systems generate indoor scenes automatically by suggesting and then placing objects one at a time. Empirical observations show that current systems tend to produce in…
Indoor Scene SynthesisObjectProgram inductionSearching Latent Program Spaces
Program synthesis methods aim to automatically generate programs restricted to a language that can explain a given specification of input-output pairs. While purely symbolic approaches suffer from a combinatorial search …
ARCProgram inductionProgram SynthesisTest-time AdaptationTowards Efficient Neurally-Guided Program Induction for ARC-AGI
ARC-AGI is an open-world problem domain in which the ability to generalize out-of-distribution is a crucial quality. Under the program induction paradigm, we present a series of experiments that reveal the efficiency and…
ARCProgram inductionHarmonizing Program Induction with Rate-Distortion Theory
Many aspects of human learning have been proposed as a process of constructing mental programs: from acquiring symbolic number representations to intuitive theories about the world. In parallel, there is a long-tradition…
Program inductionLLM-SR: Scientific Equation Discovery via Programming with Large Language Models
Mathematical equations have been unreasonably effective in describing complex natural phenomena across various scientific disciplines. However, discovering such insightful equations from data presents significant challen…
Equation DiscoveryInterpretable Machine LearningLarge Language ModelProgram induction+3Program-Based Strategy Induction for Reinforcement Learning
Typical models of learning assume incremental estimation of continuously-varying decision variables like expected rewards. However, this class of models fails to capture more idiosyncratic, discrete heuristics and strate…
Incremental LearningProgram inductionreinforcement-learningReinforcement LearningGuided Sketch-Based Program Induction by Search Gradients
Many tasks can be easily solved using machine learning techniques. However, some tasks cannot readily be solved using statistical models, requiring a symbolic approach instead. Program induction is one of the ways that s…
Program inductionKB-Plugin: A Plug-and-play Framework for Large Language Models to Induce Programs over Low-resourced Knowledge Bases
Program induction (PI) has become a promising paradigm for using knowledge bases (KBs) to help large language models (LLMs) answer complex knowledge-intensive questions. Nonetheless, PI typically relies on a large number…
Program inductionSelf-Supervised LearningLLMs for Relational Reasoning: How Far are We?
Large language models (LLMs) have revolutionized many areas (e.g. natural language processing, software engineering, etc.) by achieving state-of-the-art performance on extensive downstream tasks. Aiming to achieve robust…
Common Sense ReasoningDecision MakingInductive logic programmingProgram induction+2Modeling infant object perception as program induction
Infants expect physical objects to be rigid and persist through space and time and in spite of occlusion. Developmentists frequently attribute these expectations to a "core system" for object recognition. However, it is …
AttributeInductive LearningObjectObject Recognition+1VisKoP: Visual Knowledge oriented Programming for Interactive Knowledge Base Question Answering
We present Visual Knowledge oriented Programming platform (VisKoP), a knowledge base question answering (KBQA) system that integrates human into the loop to edit and debug the knowledge base (KB) queries. VisKoP not only…
Knowledge Base Question AnsweringProgram inductionQuestion Answeringslot-filling+1Learning Differentiable Logic Programs for Abstract Visual Reasoning
Visual reasoning is essential for building intelligent agents that understand the world and perform problem-solving beyond perception. Differentiable forward reasoning has been developed to integrate reasoning with gradi…
Program inductionVisual ReasoningBayesian Program Learning by Decompiling Amortized Knowledge
DreamCoder is an inductive program synthesis system that, whilst solving problems, learns to simplify search in an iterative wake-sleep procedure. The cost of search is amortized by training a neural search policy, reduc…
Program inductionProgram SynthesisCompositional diversity in visual concept learning
Humans leverage compositionality to efficiently learn new concepts, understanding how familiar parts can combine together to form novel objects. In contrast, popular computer vision models struggle to make the same types…
DiversityProgram inductionNeuro-symbolic Meta Reinforcement Learning for Trading
We model short-duration (e.g. day) trading in financial markets as a sequential decision-making problem under uncertainty, with the added complication of continual concept-drift. We, therefore, employ meta reinforcement …
Decision MakingMeta Reinforcement LearningProgram inductionreinforcement-learning+3Using Natural Language and Program Abstractions to Instill Human Inductive Biases in Machines
Strong inductive biases give humans the ability to quickly learn to perform a variety of tasks. Although meta-learning is a method to endow neural networks with useful inductive biases, agents trained by meta-learning ma…
Meta-LearningMeta Reinforcement LearningProgram inductionReinforcement Learning (RL)ArcaneQA: Dynamic Program Induction and Contextualized Encoding for Knowledge Base Question Answering
Question answering on knowledge bases (KBQA) poses a unique challenge for semantic parsing research due to two intertwined challenges: large search space and ambiguities in schema linking. Conventional ranking-based KBQA…
Knowledge Base Question AnsweringProgram inductionQuestion AnsweringSemantic ParsingThink Big, Teach Small: Do Language Models Distil Occam’s Razor?
Large language models have recently shown a remarkable ability for few-shot learning, including patterns of algorithmic nature. However, it is still an open question to determine what kind of patterns these models can ca…
Few-Shot LearningOpen-Ended Question AnsweringProgram inductionProgram Transfer for Answering Complex Questions over Knowledge Bases
Program induction for answering complex questions over knowledge bases (KBs) aims to decompose a question into a multi-step program, whose execution against the KB produces the final answer. Learning to induce programs …
Program induction