Zayne Sprague
4 papers
· 2022–2024
· 3 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(15)
π
Renaissance Researcher
(6)
π
Interdisciplinary Bridge
π
Conference Polyglot
(3)
πΊοΈ
Taxonomy Completionist
(13)
π§
Keyword Pioneer
π
Trend Setter
Conferences
EMNLP (2)
AAAI (1)
ACL (1)
Top co-authors
Keywords
deductive reasoning
(3)
natural language inference
(2)
robot navigation
(1)
embedding space
(1)
automated planning
(1)
question answering
(1)
text generation
(1)
semantic parsing
(1)
explanation generation
(1)
natural language
(1)
semantic embedding
(1)
textual entailment
(1)
abductive reasoning
(1)
bidirectional search
(1)
multi-robot system
(1)
proof generation
(1)
search procedure
(1)
planning heuristic
(1)
deductive additivity
(1)
natural language proof
(1)