Zayne Sprague
4 papers · 2022–2024 · 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 ↓+1 more ↓ Show less ↑
π Conference Polyglot Β· Bronze π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (11) π£ Hot Topic Early Bird π Renaissance Researcher (5)
π
Trend Setter
Top co-authors
Research topics
Natural Language Processing
(3)
Applications Β· Natural Language Processing
(3)
Artificial Intelligence
(2)
Knowledge & Reasoning
(2)
Machine Learning
(2)
Core AI
(2)
Reasoning
(2)
Reinforcement Learning
(1)
Robotics
(1)
Applications Β· Reinforcement Learning
(1)
Applications Β· Robotics
(1)
Core Methods
(1)
Generation
(1)
Learning Types
(1)
Methods
(1)
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 through Search over Statement Compositions
EMNLP 2022
Natural Language Deduction with Incomplete Information
EMNLP 2022