Latent Programmer: Discrete Latent Codes for Program Synthesis
ICML'21, 2021. [All Versions]. Paper introducing the Latent Programmer, a two-level program synthesis method that first predicts a discrete latent code from input/output examples, and then generates the program in the target language.
- from
- AGI & CoCoSci
- added
- 2026-10-10
- likes
- 0
similar
-
Latent Programmer github.com
Code for the ICML 2021 paper Latent Programmer: Discrete Latent Codes for Program Synthesis.
-
Learning to Infer Graphics Programs from Hand-Drawn Images proceedings.neurips.cc
NeurIPS'18, 2018. [All Versions]. The method learns a model that uses program synthesis techniques to recover a graphics program from drawing primitives. These programs have constructs like variable bindings, iterative loops, or simple kinds of conditionals. With a graphics…
-
Program Synthesis with Large Language Models arxiv.org
2021. [All Versions]. This paper explores the limits of the current generation of large language models for program synthesis in general purpose programming languages.
-
DreamCoder: growing generalizable, interpretable knowledge with wake–sleep Bayesian program learning royalsocietypublishing.org
Philosophical Transactions of the Royal Society A, 2023. [All Versions]. [Preprint]. This paper presents DreamCoder, a system that learns to solve problems by writing programs. It builds expertise by creating domain-specific programming languages for expressing domain concepts…
-
DeepProbLog: Neural Probabilistic Logic Programming arxiv.org
NeurIPS'18, 2018. [All Versions]. The original paper on neuro-symbolic probabilistic programming.
-
Learning Latent Space Energy-Based Prior Model proceedings.neurips.cc
NeurIPS'20, 2020. [All Versions]. [Project]. [Code]. A milestone paper on Latent Energy-Based Model.
AGI & CoCoSci › Papers > Inductive Logic & Program Synthesis: “ICML'21, 2021. [All Versions]. Paper introducing the Latent Programmer, a two-level program synthesis method that first predicts a discrete latent code from input/output examples, and then generates the program in the target language.”