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