Fijalkow, Nathanael

5 publications

AAAI 2025 Eco Search: A No-Delay Best-First Search Algorithm for Program Synthesis Théo Matricon, Nathanaël Fijalkow, Guillaume Lagarde
AAAI 2025 Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives Marius Belly, Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Guillermo A. Pérez, Pierre Vandenhove
AAAI 2022 Scaling Neural Program Synthesis with Distribution-Based Search Nathanaël Fijalkow, Guillaume Lagarde, Théo Matricon, Kevin Ellis, Pierre Ohlmann, Akarsh Nayan Potta
IJCAI 2020 Assume-Guarantee Synthesis for Prompt Linear Temporal Logic Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Moshe Y. Vardi
AISTATS 2020 Data Generation for Neural Programming by Example Judith Clymo, Haik Manukian, Nathanael Fijalkow, Adria Gascon, Brooks Paige