Zayne Sprague
4 papers · 2022–2024 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π 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 heuristics
(1)
deductive additivity
(1)
natural language proof
(1)
Papers
SOCIALGYM 2.0: Simulator for Multi-Robot Learning and Navigation in Shared Human Spaces
AAAI 2024
Deductive Additivity for Planning of Natural Language Proofs
ACL 2023
Natural Language Deduction with Incomplete Information
EMNLP 2022
Natural Language Deduction through Search over Statement Compositions
EMNLP 2022