TY  - RPRT
TI  - Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
AU  - Jin Peng Zhou
AU  - Charles Staats
AU  - Wenda Li
AU  - Christian Szegedy
AU  - Kilian Q. Weinberger
AU  - Yuhuai Wu
PY  - 2024
UR  - https://arxiv.org/abs/2403.18120
ID  - 2403.18120
ER  -