Picture for Zayne Sprague

Zayne Sprague

To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning

Add code
Sep 18, 2024
Figure 1 for To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning
Figure 2 for To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning
Figure 3 for To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning
Figure 4 for To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning
Viaarxiv icon

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

Add code
Oct 24, 2023
Viaarxiv icon

Deductive Additivity for Planning of Natural Language Proofs

Add code
Jul 06, 2023
Figure 1 for Deductive Additivity for Planning of Natural Language Proofs
Figure 2 for Deductive Additivity for Planning of Natural Language Proofs
Figure 3 for Deductive Additivity for Planning of Natural Language Proofs
Figure 4 for Deductive Additivity for Planning of Natural Language Proofs
Viaarxiv icon

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

Add code
Jun 15, 2023
Figure 1 for Decentralized Social Navigation with Non-Cooperative Robots via Bi-Level Optimization
Figure 2 for Decentralized Social Navigation with Non-Cooperative Robots via Bi-Level Optimization
Figure 3 for Decentralized Social Navigation with Non-Cooperative Robots via Bi-Level Optimization
Figure 4 for Decentralized Social Navigation with Non-Cooperative Robots via Bi-Level Optimization
Viaarxiv icon

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

Add code
Mar 09, 2023
Viaarxiv icon

Natural Language Deduction with Incomplete Information

Add code
Nov 01, 2022
Figure 1 for Natural Language Deduction with Incomplete Information
Figure 2 for Natural Language Deduction with Incomplete Information
Figure 3 for Natural Language Deduction with Incomplete Information
Figure 4 for Natural Language Deduction with Incomplete Information
Viaarxiv icon

Natural Language Deduction through Search over Statement Compositions

Add code
Jan 16, 2022
Figure 1 for Natural Language Deduction through Search over Statement Compositions
Figure 2 for Natural Language Deduction through Search over Statement Compositions
Figure 3 for Natural Language Deduction through Search over Statement Compositions
Figure 4 for Natural Language Deduction through Search over Statement Compositions
Viaarxiv icon