Program induction
22 papers with code • 0 benchmarks • 1 datasets
Generating program code for domain-specific tasks
Benchmarks
These leaderboards are used to track progress in Program induction
AQUA-RAT
Latest papers
DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning
ellisk42/ec
•
•
It builds expertise by creating programming languages for expressing domain concepts, together with neural networks to guide the search for programs within these languages.
Automatic Discovery of Interpretable Planning Strategies
Our 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, high-performing decision rule.
Knowledge Refactoring for Inductive Program Synthesis
We 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.
Forgetting to learn logic programs
To improve learning performance, we explore the idea of forgetting, where a learner can additionally remove programs from its BK.
Playgol: learning programs through play
In this approach, a program induction system (the learner) is given a set of tasks and initial background knowledge.
DeepProbLog: Neural Probabilistic Logic Programming
ml-kuleuven/deepproblog
•
•
NeurIPS 2018
We introduce DeepProbLog, a probabilistic logic programming language that incorporates deep learning by means of neural predicates.
Recent Advances in Neural Program Synthesis
In recent years, deep learning has made tremendous progress in a number of fields that were previously out of reach for artificial intelligence.
Neural Task Programming: Learning to Generalize Across Hierarchical Tasks
In 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.
P-Tree Programming
From this prototype tree we form program instances which we evaluate on a given problem.
Program Induction by Rationale Generation : Learning to Solve and Explain Algebraic Word Problems
Solving algebraic word problems requires executing a series of arithmetic operations---a program---to obtain a final answer.
