Bassem Makni
3 papers
· 2019–2021
· 1 conference
· across top CS/AI conferences
Achievements
πΊοΈ
Taxonomy Completionist
(11)
π
Renaissance Researcher
(6)
π
Interdisciplinary Bridge
π
Cross-Pollinator
(15)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Conference Pioneer
Conferences
AAAI (3)
Top co-authors
Keywords
knowledge graph
(2)
textual entailment
(2)
natural language inference
(2)
knowledge base
(1)
first-order logic
(1)
neural representation
(1)
proof search
(1)
automated theorem proving
(1)
neural theorem proving
(1)
personalized pagerank
(1)
graph convolutional network
(1)
external knowledge
(1)
science question
(1)
attention-based policy
(1)
deep reinforcement learning
(1)
saturation-based proving
(1)
attention mechanism
(1)
semantic search
(1)