Author name: Halley Young, Nikolaj Bj\"orner

arXiv:2604.27209v2 Announce Type: replace-cross
Abstract: 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, executable syst…

arXiv:2604.27209v1 Announce Type: cross
Abstract: 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, executable system, benc…