Evaluating and Improving Tool-Augmented Computation-Intensive Math Reasoning - Zhang, Beichen; Zhou, Kun; Wei, Xilin; Zhao, Xin; Sha, Jing; Wang, Shijin; Wen, Ji-Rong (Advances in Neural Information Processing Systems, 2023)