Arnaud Gotlieb
6 papers
· 2016–2022
· 2 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(15)
π
Conference Polyglot
(2)
π
Academic Marathon
(6)
π
Renaissance Researcher
(6)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(16)
π§
Keyword Pioneer
π
Trend Setter
π
Conference Pioneer
Conferences
AAAI (3)
IJCAI (3)
Top co-authors
Keywords
constraint acquisition
(2)
active learning
(1)
representation learning
(1)
assignment problem
(1)
constraint solving
(1)
self-supervised learning
(1)
program verification
(1)
constraint satisfaction
(1)
spatial context
(1)
program analysis
(1)
knapsack problem
(1)
smt solver
(1)
scheduling problem
(1)
software verification
(1)
temporal context
(1)
precondition inference
(1)
graph neural network
(1)
maritime surveillance
(1)
qualitative constraint
(1)
multi-cycle assignment
(1)