13 citations · 29 across the 11 of their papers we have counts for
4 papers · 1 filter
MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning
Zayne Sprague, Xi Ye, Kaj Bostrom +2
While large language models (LLMs) equipped with techniques like chain-of-thought prompting have demonstrated impressive capabilities, they still fall short in their ability to rea…
Deductive Additivity for Planning of Natural Language Proofs
Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri +1
Current natural language systems designed for multi-step claim validation typically operate in two phases: retrieve a set of relevant premise statements using heuristics (planning)…
Decentralized Social Navigation with Non-Cooperative Robots via Bi-Level Optimization
Rohan Chandra, Rahul Menon, Zayne Sprague +2
This paper presents a fully decentralized approach for realtime non-cooperative multi-robot navigation in social mini-games, such as navigating through a narrow doorway or negotiat…
SOCIALGYM 2.0: Simulator for Multi-Agent Social Robot Navigation in Shared Human Spaces
Zayne Sprague, Rohan Chandra, Jarrett Holtz +1
We present SocialGym 2, a multi-agent navigation simulator for social robot research. Our simulator models multiple autonomous agents, replicating real-world dynamics in complex en…