1 paper · 1 filter
Yang Cao, Yubin Chen, Xuyang Guo +4
The rapid advancement of large language models (LLMs) has led to significant breakthroughs in automated mathematical reasoning and scientific discovery. Georgiev, GA~3mez-Serran…