| Natural language deduction through search over statement compositions K Bostrom, Z Sprague, S Chaudhuri, G Durrett arXiv preprint arXiv:2201.06028, 2022 | 47 | 2022 |
| To cot or not to cot? chain-of-thought helps mainly on math and symbolic reasoning Z Sprague, F Yin, JD Rodriguez, D Jiang, M Wadhwa, P Singhal, X Zhao, ... arXiv preprint arXiv:2409.12183, 2024 | 30 | 2024 |
| Musr: Testing the limits of chain-of-thought with multistep soft reasoning Z Sprague, X Ye, K Bostrom, S Chaudhuri, G Durrett arXiv preprint arXiv:2310.16049, 2023 | 29 | 2023 |
| Natural language deduction with incomplete information Z Sprague, K Bostrom, S Chaudhuri, G Durrett arXiv preprint arXiv:2211.00614, 2022 | 16 | 2022 |
| Socialgym 2.0: Simulator for multi-agent social robot navigation in shared human spaces Z Sprague, R Chandra, J Holtz, J Biswas arXiv preprint arXiv:2303.05584, 2023 | 8 | 2023 |
| Decentralized Social Navigation with Non-Cooperative Robots via Bi-Level Optimization R Chandra, R Menon, Z Sprague, A Anantula, J Biswas arXiv preprint arXiv:2306.08815, 2023 | 7 | 2023 |
| SOCIALGYM 2.0: Simulator for Multi-Robot Learning and Navigation in Shared Human Spaces R Chandra, Z Sprague, J Biswas Proceedings of the AAAI Conference on Artificial Intelligence 38 (21), 23778 …, 2024 | 2 | 2024 |
| Deductive Additivity for Planning of Natural Language Proofs Z Sprague, K Bostrom, S Chaudhuri, G Durrett Proceedings of the 1st Workshop on Natural Language Reasoning and Structured …, 2023 | 2 | 2023 |
| Additive deductive embeddings for planning of natural language proofs Z Sprague | | 2023 |
