文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Jin Peng Zhou
发表
Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization
Kilian Q. Weinberger, Christian Szegedy, Charles Staats, 2024, ArXiv.