Greg Durrett
6
Papers
143
Total Citations
1
Affiliations
Affiliations
The University of Texas at Austin
Papers (6)
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