1 citations · 2 across the 5 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LG2024
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis
Théo Matricon, Nathanaël Fijalkow, Guillaume Lagarde
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 blow…
cs.LG2024★ 1 cited
Programmatic Reinforcement Learning: Navigating Gridworlds
Guruprerana Shabadi, Nathanaël Fijalkow, Théo Matricon
The field of reinforcement learning (RL) is concerned with algorithms for learning optimal policies in unknown stochastic environments. Programmatic RL studies representations of p…