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

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