Nathanaël Fijalkow
5 papers
· 2020–2025
· 3 conferences
· across top CS/AI conferences
Achievements
🌍
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
Data Generation for Neural Programming by Example
AISTATS 2020