3 papers
cs.SE2026
Theory Under Construction: Orchestrating Language Models for Research Software Where the Specification Evolves
Halley Young, Nikolaj Björner
Large language models can now generate substantial code and draft research text, but research-software projects require more than either artifact alone. The mathematical thesis, ex…
cs.PL2026
Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via Äech Cohomology
Halley Young
We present a framework in which program analysis -- type checking, bug finding, and equivalence verification -- is organized as computing the Äech cohomology of a semantic preshea…
cs.CL2024
Improving Structural Diversity of Blackbox LLMs via Chain-of-Specification Prompting
Halley Young, Yimeng Zeng, Jacob Gardner +1
The capability to generate diverse text is a key challenge facing large language models (LLMs). Thus far, diversity has been studied via metrics such as -gram diversity or diver…