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

Open Webpage

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

Published: 01 Jan 2024, Last Modified: 13 Nov 2024ICLR 2024EveryoneRevisionsBibTeXCC BY-SA 4.0