3 citations · 6 across the 18 of their papers we have counts for
1 paper · 2 filters
Qikai Chang, Zhenrong Zhang, Pengfei Hu +6
Large Language Models (LLMs) have made remarkable progress in mathematical reasoning, but still continue to struggle with high-precision tasks like numerical computation and formal…