xAI; Cornell University; University of Edinburgh; Google Research
Jin Zhou, Charles Staats, Wenda Li, Christian Szegedy, Kilian Weinberger, Yuhuai Wu
mathematical reasoning;autoformalization;automated theorem proving;quantitative reasoning
Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization