5 citations · 5 across the 5 of their papers we have counts for
5 papers
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…
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 presheaf…
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…
Undecidability Results and Their Relevance in Modern Music Making
Halley Young
This paper delves into the intersection of computational theory and music, examining the concept of undecidability and its significant, yet overlooked, implications within the real…
Learning Neurosymbolic Generative Models via Program Synthesis
Halley Young, Osbert Bastani, Mayur Naik
Significant strides have been made toward designing better generative models in recent years. Despite this progress, however, state-of-the-art approaches are still largely unable t…