Nathanaël Fijalkow
5 papers · 2020–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(3)
🏃
Academic Marathon
(5)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(14)
Conferences
AAAI (3)
AISTATS (1)
IJCAI (1)
Top co-authors
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
Data Generation for Neural Programming by Example
AISTATS 2020
Assume-Guarantee Synthesis for Prompt Linear Temporal Logic
IJCAI 2020