【論文】GSM-Symbolic：大規模言語モデルにおける数学的推論の限界の理解