← Search

Guillaume Lagarde

5 accepted papers

2025

Eco Search: A No-delay Best-First Search Algorithm for Program Synthesis

AAAI 2025technical

Many approaches to program synthesis perform a combinatorial search within a large space of programs to find one that satisfies a given specification. To tame the search space blowup, previous works introduced probabilistic and neural approaches to guide this combinatorial search by inducing heurist…

2022

Scaling Neural Program Synthesis with Distribution-Based Search

AAAI 2022technical

We consider the problem of automatically constructing computer programs from input-output examples. We investigate how to augment probabilistic and neural program synthesis methods with new search algorithms, proposing a framework called distribution-based search. Within this framework, we introduce…

2021

Improving Ultrametrics Embeddings Through Coresets

ICML 2021spotlight

To tackle the curse of dimensionality in data analysis and unsupervised learning, it is critical to be able to efficiently compute “simple” faithful representations of the data that helps extract information, improves understanding and visualization of the structure. When the dataset consists of $d$…

Cited by 12SourcePDFScholar