Zayne Sprague

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 10

Top Topics

Natural Language

Reasoning Processes

Incomplete Information

Top Venues

EMNLP (Findings)

Publications

Rohan Chandra, Zayne Sprague, Joydeep Biswas
SOCIALGYM 2.0: Simulator for Multi-Robot Learning and Navigation in Shared Human Spaces. AAAI (2024)
Zayne Sprague, Xi Ye, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett
MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning. ICLR (2024)
Rohan Chandra, Rahul Menon, Zayne Sprague, Arya Anantula, Joydeep Biswas
Decentralized Social Navigation with Non-Cooperative Robots via Bi-Level Optimization. CoRR (2023)
Zayne Sprague, Rohan Chandra, Jarrett Holtz, Joydeep Biswas
SOCIALGYM 2.0: Simulator for Multi-Agent Social Robot Navigation in Shared Human Spaces. CoRR (2023)
Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett
Deductive Additivity for Planning of Natural Language Proofs. CoRR (2023)
Zayne Sprague, Xi Ye, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett
MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning. CoRR (2023)
Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett
Natural Language Deduction with Incomplete Information. EMNLP (2022)
Kaj Bostrom, Zayne Sprague, Swarat Chaudhuri, Greg Durrett
Natural Language Deduction through Search over Statement Compositions. CoRR (2022)
Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett
Natural Language Deduction with Incomplete Information. CoRR (2022)
Kaj Bostrom, Zayne Sprague, Swarat Chaudhuri, Greg Durrett
Natural Language Deduction through Search over Statement Compositions. EMNLP (Findings) (2022)