Browse State-of-the-Art › Program induction
Program induction
24 papers with code · 0 benchmarks · 1 dataset archive 2025-07-28
Generating program code for domain-specific tasks
Description from the archive archive 2025-07-28.
Benchmarks archive 2025-07-28
No benchmark for this task in the archive.
Libraries
Not in the archive: the export carries no per-task library table, so there is nothing to show at snapshot 2025-07-28.
Datasets archive 2025-07-28
1 dataset whose archive record lists this task, ordered by the archive's paper count.
Subtasks archive 2025-07-28
No subtask under this task in the archive's task tree.
Most implemented papers archive 2025-07-28
24 shown of 24 papers with code (67 tagged with this task in all), ordered by repositories listed in the archive, not by stars (the archive holds no stars, so PwC's “Social” and “Latest” sorts cannot be reproduced). Papers without a page here are shown as plain text.
-
28 May 2018 4 repositories listedWe introduce DeepProbLog, a probabilistic logic programming language that incorporates deep learning by means of neural predicates.
-
DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning15 Jun 2020 3 repositories listed Syntology ran 1 of 11 samples · 10 unverified · 11 pointer-only (licence)It builds expertise by creating programming languages for expressing domain concepts, together with neural networks to guide the search for programs within these languages.
-
21 Mar 2017 3 repositories listed Syntology ran 2 of 8 samples · 6 unverified · 1 pointer-only (licence)Recently, two competing approaches for automatic program learning have received significant attention: (1) neural program synthesis, where a neural network is conditioned on input/output (I/O) examples and learns to…
-
29 Apr 2024 2 repositories listedMathematical equations have been unreasonably effective in describing complex natural phenomena across various scientific disciplines.
-
15 Nov 2019 2 repositories listedTo improve learning performance, we explore the idea of forgetting, where a learner can additionally remove programs from its BK.
-
28 Nov 2016 2 repositories listedThe main experimental result in this paper is that a single Neural Programmer model achieves 34.
-
13 Nov 2024 1 repository listed Syntology ran 4 of 9 samples · 5 unverifiedProgram synthesis methods aim to automatically generate programs restricted to a language that can explain a given specification of input-output pairs.
-
2 Feb 2024 1 repository listedSecondly, KB-Plugin utilizes abundant annotated data from a rich-resourced KB to train another pluggable module, namely PI plugin, which can help the LLM extract question-relevant schema information from the schema…
-
3 Jul 2023 1 repository listed Syntology ran 0 of 12 samples · 12 unverifiedHowever, due to the memory intensity, most existing approaches do not bring the best of the expressivity of first-order logic, excluding a crucial ability to solve abstract visual reasoning, where agents need to perform…
-
23 May 2022 1 repository listedCo-training on these representations result in more human-like behavior in downstream meta-reinforcement learning agents than less abstract controls (synthetic language descriptions, program induction without learned…
-
17 Apr 2022 1 repository listed Syntology ran 1 of 1 samples · 0 unverified · 1 pointer-only (licence)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.
-
1 Dec 2021 1 repository listedLarge language models have recently shown a remarkable ability for few-shot learning, including patterns of algorithmic nature.
-
Map Induction: Compositional spatial submap learning for efficient exploration in novel environments23 Oct 2021 1 repository listedHumans are expert explorers.
-
12 Oct 2021 1 repository listedIn this paper, we propose the approach of program transfer, which aims to leverage the valuable program annotations on the rich-resourced KBs as external supervision signals to aid program induction for the…
-
22 Nov 2020 1 repository listedHumans surpass the cognitive abilities of most other animals in our ability to "chunk" concepts into words, and then combine the words to combine the concepts.
-
29 Oct 2020 1 repository listed Syntology ran 0 of 1 samples · 1 unverifiedOur method achieves state-of-the-art performance on the CQA dataset (Saha et al., 2018) while using only five trial trajectories for the top-5 retrieved questions in each support set, and metatraining on tasks…
-
7 Jul 2020 1 repository listed Syntology ran 0 of 9 samples · 9 unverifiedWe study the problem of learning efficient algorithms that strongly generalize in the framework of neural program induction.
-
24 May 2020 1 repository listedOur algorithm combines recent advances in imitation learning and program induction with a new clustering method for identifying a large subset of demonstrations that can be accurately described by a simple,…
-
21 Apr 2020 1 repository listedWe introduce the \textit{knowledge refactoring} problem, where the goal is to restructure a learner's knowledge base to reduce its size and to minimise redundancy in it.
-
18 Apr 2019 1 repository listedIn this approach, a program induction system (the learner) is given a set of tasks and initial background knowledge.
-
7 Feb 2018 1 repository listedIn recent years, deep learning has made tremendous progress in a number of fields that were previously out of reach for artificial intelligence.
-
4 Oct 2017 1 repository listedIn this work, we propose a novel robot learning framework called Neural Task Programming (NTP), which bridges the idea of few-shot learning from demonstration and neural program induction.
-
12 Jul 2017 1 repository listedFrom this prototype tree we form program instances which we evaluate on a given problem.
-
11 May 2017 1 repository listedSolving algebraic word problems requires executing a series of arithmetic operations---a program---to obtain a final answer.
Syntology lines on 7 of the papers shown; no Syntology record for the others (a paper without an arXiv id cannot be joined to the graph, and absence from the graph layer is not a recorded non-run). “Ran” means the sample executed on a synthesized fixture, not that the paper's result was reproduced. Read from the graph 2026-09-24.
Report a problem or propose a change · a person checks every report against the paper or source before anything changes; decisions are listed on /corrections