EDBT 2026 Demo / reviewers in the wild / expert
Alessandro B. Palmarini
dblp:349/4414
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program synthesis and code generation
inductive program synthesis |
0.8 | 1 | 2024 | Bayesian Program Learning by Decompiling Amortized Knowledge · ICML 2024 |
Program synthesis and code generation › inductive program synthesis
library learning |
0.8 | 1 | 2024 | 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.2 | 1 | 2024 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Bayesian Program Learning by Decompiling Amortized KnowledgeabstractDreamCoder 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 |
ICML | 1 |