To diagnose the failures of current models and support research, we're releasing GSM8K, a dataset of 8.5K high quality linguistically diverse grade school math word problems. We find that even the ...

This is the repo for the paper: Solving Math Word Problems by Combining Language Models With Symbolic Solvers. To solve a math word problem, we first formalize the word problem as a set of variables ...

The problem at first glance seems deceptively simple, involving basic arithmetic operations such as division, multiplication and addition – concepts typically taught in second grade. However, as ...