Alessandro B. Palmarini

dblp:349/4414 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
1since 2021 · last 2024
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Program synthesis and code generation · 100%
Artificial intelligence
1 paper
Probabilistic and Bayesian machine learning · 100%

Topics — the 3 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program synthesis and code generation
inductive program synthesis
0.812024
Bayesian Program Learning by Decompiling Amortized Knowledge · ICML 2024
Program synthesis and code generation › inductive program synthesis
library learning
0.812024
Bayesian Program Learning by Decompiling Amortized Knowledge · ICML 2024
Machine learning › Probabilistic and Bayesian machine learning › probabilistic inference › approximate inference › variational inference
wake-sleep algorithm
0.212024
Bayesian Program Learning by Decompiling Amortized Knowledge · ICML 2024

Methods — techniques the papers use, named apart from their topics

neural search policy · 1.5amortized inference · 1.5
YearPublicationVenuePosition
2024 Bayesian Program Learning by Decompiling Amortized Knowledge
abstract
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, reducing search breadth and effectively "compiling" useful information to compose program solutions across tasks. Additionally, a library of program components is learnt to compress and express discovered solutions in fewer components, reducing search depth. We present a novel approach for library learning that directly leverages the neural search policy, effectively "decompiling" its amortized knowledge to extract relevant program components. This provides stronger amortized inference: the amortized knowledge learnt to reduce search breadth is now also used to reduce search depth. We integrate our approach with DreamCoder and demonstrate faster domain proficiency with improved generalization on a range of domains, particularly when fewer example solutions are available.
Alessandro B. Palmarini, Christopher G. Lucas, N. Siddharth 0001
ICML1