Greg Durrett
7
Papers
382
Total Citations
1
Affiliations
Affiliations
The University of Texas at Austin
Papers (7)
To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning
ICLR 2025arXiv
239
citations
MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning
ICLR 2024
131
citations
CLEVER: A Curated Benchmark for Formally Verified Code Generation
NeurIPS 2025arXiv
10
citations
AstroVisBench: A Code Benchmark for Scientific Computing and Visualization in Astronomy
NeurIPS 2025
2
citations
The Unreliability of Explanations in Few-shot Prompting for Textual Reasoning
NeurIPS 2022
0
citations
SatLM: Satisfiability-Aided Language Models Using Declarative Prompting
NeurIPS 2023
0
citations
Propagating Knowledge Updates to LMs Through Distillation
NeurIPS 2023
0
citations