TY - RPRT TI - Theory Under Construction: Orchestrating Language Models for Research Software Where the Specification Evolves AU - Halley Young AU - Nikolaj Björner PY - 2026 UR - https://arxiv.org/abs/2604.27209 ID - 2604.27209 ER -