Timothee Lacroix
4 papers
· 2018–2023
· 3 conferences
· across top CS/AI conferences
Achievements
π§
Keyword Pioneer
π
Conference Polyglot
(3)
π
Academic Marathon
(5)
π
Cross-Pollinator
(10)
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(10)
Conferences
ICLR (2)
ICML (1)
NIPS (1)
Top co-authors
Keywords
reinforcement learning
(1)
link prediction
(1)
embedding learning
(1)
automated reasoning
(1)
tensor decomposition
(1)
knowledge base completion
(1)
proof search
(1)
automated theorem proving
(1)
neural theorem proving
(1)
canonical polyadic decomposition
(1)
tensor nuclear norm
(1)
complex embedding
(1)
online training
(1)
neural network
(1)
canonical decomposition
(1)