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

Jin Peng Zhou, Charles Staats, Wenda Li, Christian Szegedy, Kilian Q. Weinberger, Yuhuai Wu

Browse the full ICLR paper archive.