Timothee Lacroix
4 papers · 2018–2023 · 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
🗺️
Taxonomy Completionist
(13)
Venues
Top co-authors
Research topics
Artificial Intelligence
(3)
Machine Learning
(3)
Core AI
(3)
Core Methods
(3)
Learning Types · Machine Learning
(2)
Optimization & Theory
(2)
Computer Science
(1)
Deep Learning
(1)
Knowledge & Reasoning
(1)
Natural Language Processing
(1)
Applications
(1)
Learning Types · Deep Learning
(1)
Representation
(1)
Resources & Methods
(1)
Keywords
automated theorem proving
(2)
tensor decomposition
(2)
link prediction
(2)
mathematical reasoning
(1)
automated reasoning
(1)
knowledge base completion
(1)
knowledge graph
(1)
proof search
(1)
neural theorem proving
(1)
canonical polyadic decomposition
(1)
tensor nuclear norm
(1)
proof sketch
(1)
complex embedding
(1)
online training
(1)
large language model
(1)
neural network
(1)
temporal knowledge base
(1)
canonical decomposition
(1)
representation learning
(1)
informal proof
(1)