7 citations · 19 across the 37 of their papers we have counts for
1 paper · 2 filters
Ting Gong, Michael Ruofan Zeng, Yong Yang
Large language models can contribute useful ideas to mathematical research, yet long-horizon proof attempts remain difficult to coordinate, evaluate, and reproduce. We present Albi…