Nathanaël Fijalkow

5 papers · 2020–2025 · 3 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze

Venues

AAAI (3) AISTATS (1) IJCAI (1)

Top co-authors

Guillaume Lagarde (2) Théo Matricon (2) Guillermo A. Pérez (1) Moshe Vardi (1) Aniello Murano (1) Judith Clymo (1) Haik Manukian (1) Florian Horn (1) Akarsh Nayan Potta (1) Adria Gascon (1)

Research topics

Machine Learning (3) Artificial Intelligence (2) Computer Science (2) Core AI (2) Mathematics & Optimization (1) Applications (1) Core Methods (1) Foundations (1) Learning Types (1) Mathematics (1) Optimization & Theory (1)

Keywords

program synthesis (2) search algorithm (2) model checking (2) formal verification (2) machine learning (1) combinatorial search (1) cost function (1) programming by example (1) parallel compute (1) smt solver (1) linear temporal logic (1) reactive synthesis (1) input-output example (1) omega-regular objective (1) belief support (1) decidable class (1) neural program synthesis (1) neural programming (1) sequential decision making (1) assume-guarantee synthesis (1)

Papers

Eco Search: A No-delay Best-First Search Algorithm for Program Synthesis AAAI 2025 Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives AAAI 2025 Scaling Neural Program Synthesis with Distribution-Based Search AAAI 2022 Assume-Guarantee Synthesis for Prompt Linear Temporal Logic IJCAI 2020 Data Generation for Neural Programming by Example AISTATS 2020