Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization

Leveraging autoformalization to improve LLM quantitative reasoning.