Don't trust: verify - grounding llm quantitative reasoning with autoformalization

Zhou, J.P.; Staats, C.; Li, W.; Szegedy, C. [Szegedy, Krisztián (Matematika és mes...), szerző]; Weinberger, K.Q.; Wu, Y.