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

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

CLEVER: A Curated Benchmark for Formally Verified Code Generation

NeurIPS 2025arXiv

AstroVisBench: A Code Benchmark for Scientific Computing and Visualization in Astronomy

The Unreliability of Explanations in Few-shot Prompting for Textual Reasoning

SatLM: Satisfiability-Aided Language Models Using Declarative Prompting

Propagating Knowledge Updates to LMs Through Distillation