Natural Language Deduction through Search over Statement Compositions. - Kaj Bostrom; Zayne Sprague; Swarat Chaudhuri; Greg Durrett (EMNLP (Findings), 2022)

Natural Language Deduction with Incomplete Information. - Zayne Sprague; Kaj Bostrom; Swarat Chaudhuri; Greg Durrett (EMNLP, 2022)

SOCIALGYM 2.0: Simulator for Multi-Agent Social Robot Navigation in Shared Human Spaces. - Zayne Sprague; Rohan Chandra; Jarrett Holtz; Joydeep Biswas (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)

Deductive Additivity for Planning of Natural Language Proofs. - Zayne Sprague; Kaj Bostrom; Swarat Chaudhuri; Greg Durrett (CoRR, 2023)

SOCIALGYM 2.0: Simulator for Multi-Robot Learning and Navigation in Shared Human Spaces. - Rohan Chandra; Zayne Sprague; Joydeep Biswas (AAAI, 2024)

MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning. - Zayne Sprague; Xi Ye; Kaj Bostrom; Swarat Chaudhuri; Greg Durrett (ICLR, 2024)

To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning. - Zayne Rea Sprague; Fangcong Yin; Juan Diego Rodriguez; Dongwei Jiang; Manya Wadhwa; Prasann Singhal; Xinyu Zhao; Xi Ye; Kyle Mahowald; Greg Durrett (ICLR, 2025)

EvalAgent: Discovering Implicit Evaluation Criteria from the Web. - Manya Wadhwa; Zayne Sprague; Chaitanya Malaviya; Philippe Laban; Junyi Jessy Li; Greg Durrett (CoRR, 2025)

ChartMuseum: Testing Visual Reasoning Capabilities of Large Vision-Language Models. - Liyan Tang; Grace Kim; Xinyu Zhao; Thom Lake; Wenxuan Ding 003; Fangcong Yin; Prasann Singhal; Manya Wadhwa; Zeyu Leo Liu; Zayne Sprague; Ramya Namuduri; Bodun Hu; et al. (CoRR, 2025)

OpenThoughts: Data Recipes for Reasoning Models. - Etash Kumar Guha; Ryan Marten; Sedrick Keh; Negin Raoof; Georgios Smyrnis; Hritik Bansal; Marianna Nezhurina; Jean Mercat; Trung Vu 002; Zayne Sprague; Ashima Suvarna; Benjamin Feuer; et al. (CoRR, 2025)