SOTAVerified

Program induction

Generating program code for domain-specific tasks

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–25 of 67 papers

TitleStatusHype
Searching Latent Program SpacesCode2
Forgetting to learn logic programsCode1
Program Transfer for Answering Complex Questions over Knowledge BasesCode1
DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learningCode1
Few-Shot Complex Knowledge Base Question Answering via Meta Reinforcement LearningCode1
ArcaneQA: Dynamic Program Induction and Contextualized Encoding for Knowledge Base Question AnsweringCode1
Learning Differentiable Logic Programs for Abstract Visual ReasoningCode1
RobustFill: Neural Program Learning under Noisy I/OCode1
Playgol: learning programs through playCode1
LLM-SR: Scientific Equation Discovery via Programming with Large Language ModelsCode1
Think Big, Teach Small: Do Language Models Distil Occam’s Razor?Code0
Learning a Deep Generative Model like a Program: the Free Category PriorCode0
Strong Generalization and Efficiency in Neural ProgramsCode0
DeepProbLog: Neural Probabilistic Logic ProgrammingCode0
Using Natural Language and Program Abstractions to Instill Human Inductive Biases in MachinesCode0
Knowledge Refactoring for Inductive Program SynthesisCode0
Automatic Discovery of Interpretable Planning StrategiesCode0
P-Tree ProgrammingCode0
Map Induction: Compositional spatial submap learning for efficient exploration in novel environmentsCode0
KB-Plugin: A Plug-and-play Framework for Large Language Models to Induce Programs over Low-resourced Knowledge BasesCode0
Neural Task Programming: Learning to Generalize Across Hierarchical TasksCode0
Program Induction by Rationale Generation : Learning to Solve and Explain Algebraic Word ProblemsCode0
Recent Advances in Neural Program SynthesisCode0
Learning a Natural Language Interface with Neural ProgrammerCode0
Flexible Compositional Learning of Structured Visual Concepts—0
Show:102550
← PrevPage 1 of 3Next →

No leaderboard results yet.