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…