Zayne Sprague

According to our database, Zayne Sprague authored at least 7 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

SOCIALGYM 2.0: Simulator for Multi-Robot Learning and Navigation in Shared Human Spaces.

Rohan Chandra, Zayne Sprague, Joydeep Biswas

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning.

Zayne Sprague, Xi Ye, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett

CoRR, 2023

Deductive Additivity for Planning of Natural Language Proofs.

Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett

CoRR, 2023

Decentralized Social Navigation with Non-Cooperative Robots via Bi-Level Optimization.

Rohan Chandra, Rahul Menon, Zayne Sprague, Arya Anantula, Joydeep Biswas

CoRR, 2023

SOCIALGYM 2.0: Simulator for Multi-Agent Social Robot Navigation in Shared Human Spaces.

Zayne Sprague, Rohan Chandra, Jarrett Holtz, Joydeep Biswas

CoRR, 2023

2022

Natural Language Deduction with Incomplete Information.

Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

Natural Language Deduction through Search over Statement Compositions.

Kaj Bostrom, Zayne Sprague, Swarat Chaudhuri, Greg Durrett

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2022, 2022