5 citations · 5 across the 5 of their papers we have counts for
1 paper · 1 filter
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…